Homotopy Type Theory commutant > history (changes)

Showing changes from revision #1 to #2: Added | Removed | Changed



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

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