Module fructose::algebra::group [−][src]
Structure of traits
Totality─────────► Magma───────┬─────┬─────┬──────────┐
│ │ │ │ ▼
▼ │ │ │ Semigroup────────┐
┌─────►UnitalMagma────┼─────┼─────┼──────┐ ▲ │
│ │ │ │ │ │ │
Associativity─┼─────►Semigroupoid───┼─────┼─────┼──────┼───┘ ▼
│ │ │ │ │ │ InverseSemigroup
│ │ │ ▼ │ ▼ ▲
│ │ │Quasigroup─┼────►Loop │
│ │ │ ▲ │ │
│ ▼ │ │ ▼ │
Identity─┴─────►SmallCategory──┼─────┼─►Monoid──►CommutativeMonoid │
│ │ │ ▲ │
│ │ │ │ │
Invertibility─┬──────┼─────────┼─────┴────────────────────┼────────┘
│ │ │ │
│ ▼ ▼ │
└─►Groupoid───►Group──►AbelianGroup◄───Commutativity
Traits
AbelianGroup | |
CommutativeMonoid | |
CommutativeSemigroup | |
Group | |
Groupoid | |
InverseSemigroup | |
Loop | |
Magma | |
Monoid | |
Quasigroup | |
Semigroup | |
Semigroupoid | |
SmallCategory | |
UnitalMagma |