Implication Details
Assumptions: balanced, left cancellative, right cancellative
Conclusions: groupoid
Proof: This is trivial.
Show 12 categories using this implication
- category of finite sets and surjections
- 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 morphism
- walking parallel pair
- walking span