search

hemanth / functional-programming-jargon

Jargon from the functional programming world in simple terms!
http://git.io/fp-jargons
MIT License
18.58k stars 1.02k forks source link

Category example is a preorder/partial order #218

Open MostAwesomeDude opened 2 years ago

MostAwesomeDude commented 2 years ago

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.

jethrolarson commented 1 year ago

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?