summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
I-2-cI: 2: b: show isomorphisms decomposeChloe Brown3 years
i-1-cI: 2: a: show isomorphisms composeChloe Brown3 years
i-4-b-2I: 4: d: demonstrate injections are exactly monomorphisms in SetoidsChloe Brown3 years
masterI: 5: c: show being epic and mono is not sufficient to be isoChloe Brown3 years
 
 
AgeCommit messageAuthor
2022-01-06I: 5: c: show being epic and mono is not sufficient to be isoHEADmasterChloe Brown
2022-01-06I: 5: b: characterise epimorphisms of OfPreorderChloe Brown
2022-01-06I: 5: a: characterise epimorphisms of SetoidsChloe Brown
2022-01-06misc: move contradiction example to exercisesChloe Brown
2022-01-05I: 4: f: characterise monomorphisms of OfPreorderChloe Brown
2022-01-05misc: define OfPreorder categoryChloe Brown
2022-01-05I: 4: e: show retracts are not unique for SetoidsChloe Brown
2022-01-05I: 4: d: demonstrate injections are exactly monomorphisms in Setoidsi-4-b-2Chloe Brown
2022-01-05I: 4: c: show monomorphisms decomposeChloe Brown
2022-01-05I: 4: b: show monomorphisms composeChloe Brown
[...]
generated by cgit v1.2.3 (git 2.49.0) at 2025-04-29 16:52:13 +0000