Implication Details
Assumptions: finitely cocomplete, left cancellative
Conclusions: regular quotient object classifier
This implication has been dualized from this implication.
Show 15 categories using this implication
- trivial category
- category of commutative algebras
- category of commutative monoids
- category of commutative rings
- category of groups
- category of countable groups
- poset of natural numbers
- poset of extended natural numbers
- poset of ordinal numbers
- proset of integers w.r.t. divisibility
- poset [0,1]
- walking commutative square
- walking composable pair
- walking isomorphism
- walking morphism