{"action":"created","issue":{"url":"https://api.github.com/repos/DrBoolean/mostly-adequate-guide/issues/130","labels_url":"https://api.github.com/repos/DrBoolean/mostly-adequate-guide/issues/130/labels{/name}","comments_url":"https://api.github.com/repos/DrBoolean/mostly-adequate-guide/issues/130/comments","events_url":"https://api.github.com/repos/DrBoolean/mostly-adequate-guide/issues/130/events","html_url":"https://github.com/DrBoolean/mostly-adequate-guide/issues/130","id":98775484,"number":130,"title":"Wrong definition of partial order in chapter 5","user":{"login":"rpominov","id":825702,"avatar_url":"https://avatars.githubusercontent.com/u/825702?v=3","gravatar_id":"","url":"https://api.github.com/users/rpominov","html_url":"https://github.com/rpominov","followers_url":"https://api.github.com/users/rpominov/followers","following_url":"https://api.github.com/users/rpominov/following{/other_user}","gists_url":"https://api.github.com/users/rpominov/gists{/gist_id}","starred_url":"https://api.github.com/users/rpominov/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rpominov/subscriptions","organizations_url":"https://api.github.com/users/rpominov/orgs","repos_url":"https://api.github.com/users/rpominov/repos","events_url":"https://api.github.com/users/rpominov/events{/privacy}","received_events_url":"https://api.github.com/users/rpominov/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-08-03T16:01:10Z","updated_at":"2015-08-10T14:36:48Z","closed_at":"2015-08-10T14:36:48Z","body":"Not sure if it's wrong, or I misunderstood something.\r\n\r\nHere is the quote:\r\n\r\n> What are some other categories, you ask? Well, we can define one for directed graphs with nodes being objects, edges being morphisms, and composition just being path concatenation. We can define one for Numbers **with `>` as morphisms** and **0 as identity**[^actually any partial or total order can be a category]. There are heaps of categories, but for the purposes of this book, we'll only concern ourselves with the one defined above. We have sufficiently skimmed the surface and must move on.\r\n\r\nI think the morphisms in a partial order with numbers should be `<=`, the identity should be also `<=` (any number *less or equal* to itself), and `0` could be the *initial object* (in case we don't include negative numbers).\r\n\r\nPlease check definition of *partial order* from [Categories Great and Small](http://bartoszmilewski.com/2014/12/05/categories-great-and-small/), and of *initial object* from [Products and Coproducts](http://bartoszmilewski.com/2015/01/07/products-and-coproducts/) — chapters from \"Category Theory for Programmers\" by @BartoszMilewski\r\n\r\n"},"comment":{"url":"https://api.github.com/repos/DrBoolean/mostly-adequate-guide/issues/comments/129476685","html_url":"https://github.com/DrBoolean/mostly-adequate-guide/issues/130#issuecomment-129476685","issue_url":"https://api.github.com/repos/DrBoolean/mostly-adequate-guide/issues/130","id":129476685,"user":{"login":"DrBoolean","id":28562,"avatar_url":"https://avatars.githubusercontent.com/u/28562?v=3","gravatar_id":"","url":"https://api.github.com/users/DrBoolean","html_url":"https://github.com/DrBoolean","followers_url":"https://api.github.com/users/DrBoolean/followers","following_url":"https://api.github.com/users/DrBoolean/following{/other_user}","gists_url":"https://api.github.com/users/DrBoolean/gists{/gist_id}","starred_url":"https://api.github.com/users/DrBoolean/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/DrBoolean/subscriptions","organizations_url":"https://api.github.com/users/DrBoolean/orgs","repos_url":"https://api.github.com/users/DrBoolean/repos","events_url":"https://api.github.com/users/DrBoolean/events{/privacy}","received_events_url":"https://api.github.com/users/DrBoolean/received_events","type":"User","site_admin":false},"created_at":"2015-08-10T14:36:48Z","updated_at":"2015-08-10T14:36:48Z","body":"Thanks @rpominov I did indeed forget to add the `=`. I'm a huge fan of @BartoszMilewski's work! Wonderful stuff."}}