Commit 2024-02-09 04:56 23bf9fba

View on Github →

feat(CategoryTheory): characterization of epi/mono with limits (#9989) In this PR, it is shown that monomorphisms can be characterized in terms of pullback squares. Future applications of this include the fact that if a family of functors reflects isomorphisms, it shall also reflect monomorphisms and epimorphisms (provided suitable limits/colimits exist).

Estimated changes