yellowsquid/cat-theory.git/src/CatTheory/Morphism, branch master
[no description]
http://git.yellowsquid.uk/yellowsquid/cat-theory.git/atom?h=master
2022-01-05T18:05:08Z
I: 4: c: show monomorphisms decompose
2022-01-05T18:05:08Z
Chloe Brown
chloe.brown.00@outlook.com
2022-01-05T18:05:08Z
urn:sha1:eebb9efadd33a3d901dfa87b00b5dde347d8fa6a
I: 4: b: show monomorphisms compose
2022-01-05T18:02:53Z
Chloe Brown
chloe.brown.00@outlook.com
2022-01-05T18:02:53Z
urn:sha1:1361fa660294004d4b231211102d681e6c3fc4c9
I: 4: a: prove retract hierarchy
2022-01-05T17:55:45Z
Chloe Brown
chloe.brown.00@outlook.com
2022-01-05T17:55:45Z
urn:sha1:2bc5a95f09b8f2f3537489a19254d9896bf47c7c
I: 2: b: show isomorphisms decompose
2022-01-05T16:35:37Z
Chloe Brown
chloe.brown.00@outlook.com
2022-01-05T16:32:44Z
urn:sha1:ed2e037c8373f1c697ca46055523a72143b2a332
I: 2: a: show isomorphisms compose
2022-01-05T16:04:40Z
Chloe Brown
chloe.brown.00@outlook.com
2022-01-05T16:04:40Z
urn:sha1:3d72d984c0a1aa60f137d5380ea49b1d5716ea48