Homotopy Type Theory commutant > history (Rev #2, changes)

Let $(A, m)$ be a magma and let $B$ be a subtype of $A$ with a monic function $i:B \subseteq A$.

The commutant of $B$ in $A$ is defined as

The center or centre of $A$ is defined as the commutant of $A$ in $A$

See also

• Higher algebra
• commutative A3-space
• commutative monoid
• abelian group