Structures · Category theory
CategoryTheory.CommGrpObj
Abbreviation for an unbundled commutative group object. It is a group object that is a commutative monoid object.
- Shape
- One type argument
Extends2
Extended by0
Nothing extends this class yet.
Concrete types that are instances1
- CategoryTheory.Over
How is a type an instance?
Loading the hierarchy index…
Assumed by2
Ancestors40
- CancelMonoid
- CategoryTheory.GrpObj
- CategoryTheory.IsCommMonObj
- CategoryTheory.MonObj
- Div
- DivInvMonoid
- DivInvOneMonoid
- DivisionMonoid
- Dvd
- Group
- HDiv
- HMul
- HSMul
- Inv
- InvOneClass
- InvolutiveInv
- IsLeftCancelMul
- IsRightCancelMul
- LeftCancelMonoid
- LeftCancelSemigroup
- Monoid
- Mul
- MulAction
- MulOne
- MulOneClass
- NPow
- NSMul
- Nonempty
- OfNat
- One
- RightCancelMonoid
- RightCancelSemigroup
- SDiv
- SMul
- Semigroup
- SemigroupAction
- Torsor
- ZPow
- ZSMul
- Zero