Implication Details
Assumptions: subobject-trivial
Conclusions: mono-regular
Proof: This is trivial.
Show 16 categories using this implication
- category of filtered vector spaces
- category of finite sets and surjections
- category of free abelian groups
- category of torsion-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 idempotent
- walking morphism
- walking parallel pair
- walking span