Category of medial magmas

Résumé

In mathematics, the category of medial magmas, also known as the medial category, and denoted Med, is the whose are medial magmas (that is, sets with a medial binary operation), and whose morphisms are magma homomorphisms (which are equivalent to homomorphisms in the sense of universal algebra). The category Med has direct products, so the concept of a medial magma object (internal binary operation) makes sense. As a result, Med has all its objects as medial objects, and this characterizes it. There is an inclusion functor from Set to Med as trivial magmas, with operations being the right projections (x, y) → y. An injective endomorphism can be extended to an automorphism of a magma extension—the colimit of the constant sequence of the endomorphism.

Source officielle

https://en.wikipedia.org/wiki/Category_of_medial_magmas

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.