CatDat

Morphism implications

Found 20 implications*

*Deductions from these implications are automatically incorporated into each morphism whenever applicable. Moreover, implications are automatically dualized when the corresponding dual properties exist.

See this page for a graphical overview of the relationships between the various types of epimorphisms and monomorphisms.

For results that do not quite fit the implication model, content pages are used instead.