functional-programming-jargon
functional-programming-jargon copied to clipboard
Category example is a preorder/partial order
The example category, Max, is a preorder. The resulting category is skeletal; there is at most one arrow between any two objects. This is not bad, but most categories will be richer than this, and the example should say so.
We're going for just a taster of the concepts so I want to be careful of adding complexity for the sake of completeness or correctness. Still, is there a better example you can think of to imply the richness you're looking for?