functional-programming-jargon icon indicating copy to clipboard operation
functional-programming-jargon copied to clipboard

Category example is a preorder/partial order

Open MostAwesomeDude opened this issue 2 years ago • 1 comments

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.

MostAwesomeDude avatar Jul 04 '22 14:07 MostAwesomeDude

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?

jethrolarson avatar Jul 28 '22 19:07 jethrolarson