yellowsquid/cat-theory.git/src, branch master[no description]http://git.yellowsquid.uk/yellowsquid/cat-theory.git/atom?h=master2022-01-06T18:35:46ZI: 5: c: show being epic and mono is not sufficient to be iso2022-01-06T18:35:46ZChloe Brownchloe.brown.00@outlook.com2022-01-06T18:35:46Zurn:sha1:9c9e71fcd63bb5f2ce7f6fd3ee54ed51b108bcf2I: 5: b: characterise epimorphisms of OfPreorder2022-01-06T18:27:05ZChloe Brownchloe.brown.00@outlook.com2022-01-06T18:27:05Zurn:sha1:f23b3c0e5d72d65b60f8eb9611e2ccfff9b99412I: 5: a: characterise epimorphisms of Setoids2022-01-06T18:19:55ZChloe Brownchloe.brown.00@outlook.com2022-01-06T18:19:55Zurn:sha1:96e2e835b509c7a159a65d9c7c3e653577b2bd83
Note that whilst the decidability argument might look suspicious, it can be
provided trivially assuming the law of excluded middle.
misc: move contradiction example to exercises2022-01-06T18:17:12ZChloe Brownchloe.brown.00@outlook.com2022-01-06T18:17:12Zurn:sha1:89ba967e8f458abecde49006a7c1761af765c520I: 4: f: characterise monomorphisms of OfPreorder2022-01-05T19:20:37ZChloe Brownchloe.brown.00@outlook.com2022-01-05T19:20:37Zurn:sha1:60e43c84effcefcb154aafca087328c9ee2395a4misc: define OfPreorder category2022-01-05T19:09:36ZChloe Brownchloe.brown.00@outlook.com2022-01-05T19:09:36Zurn:sha1:8dd4b315a849aacc4d63d466edb3b634daf300ccI: 4: e: show retracts are not unique for Setoids2022-01-05T19:03:09ZChloe Brownchloe.brown.00@outlook.com2022-01-05T19:03:09Zurn:sha1:8f22ef8cccdbd2da07e889a4e53fc8b7c1ec6fdcI: 4: d: demonstrate injections are exactly monomorphisms in Setoids2022-01-05T18:35:48ZChloe Brownchloe.brown.00@outlook.com2022-01-05T18:35:48Zurn:sha1:6a6ce34aae3027a637abae567eede799806319d9I: 4: c: show monomorphisms decompose2022-01-05T18:05:08ZChloe Brownchloe.brown.00@outlook.com2022-01-05T18:05:08Zurn:sha1:eebb9efadd33a3d901dfa87b00b5dde347d8fa6aI: 4: b: show monomorphisms compose2022-01-05T18:02:53ZChloe Brownchloe.brown.00@outlook.com2022-01-05T18:02:53Zurn:sha1:1361fa660294004d4b231211102d681e6c3fc4c9