Implication Details
Assumptions: quotient-trivial
Conclusions: epi-regular
This implication has been dualized from this implication.
Show 15 categories using this implication
- category of finite sets and injections
- category of free abelian groups
- delooping of the additive monoid of natural numbers
- poset [0,1]
- poset of extended natural numbers
- poset of natural numbers
- poset of ordinal numbers
- proset of integers w.r.t. divisibility
- walking commutative square
- walking composable pair
- walking fork
- walking idempotent
- walking morphism
- walking parallel pair
- walking span