Homotopy Type Theory commutant > history (Rev #1)

Definition

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

The commutant of BB in AA is defined as

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

The center or centre of AA is defined as the commutant of AA in AA

Z(A)C A(A)Z(A) \coloneqq C_A(A)

See also

Revision on March 14, 2022 at 22:13:48 by Anonymous?. See the history of this page for a list of all contributions to it.