#
Homotopy Type Theory
commutant > history (changes)

Showing changes from revision #1 to #2:
Added | ~~Removed~~ | ~~Chan~~ged

<commutant

## Definition

~~
~~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

~~
~~$C_A(B) \coloneqq \sum_{b:B} \prod_{a:A} m(a, i(b)) = m(i(b), a)$

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

~~
~~$Z(A) \coloneqq C_A(A)$

~~
~~## See also

~~
~~
Last revised on June 13, 2022 at 06:14:52.
See the history of this page for a list of all contributions to it.