- Objeto (auto) magma
-
Presentación
Como Mag la categoría de los magmas (i.e. operaciones binarias), tiene producto directo, por tanto el concepto de una operación interna, digamos
- T': (X,T)x(X,T) -> (X,T),
Como T' es un morfismo dará
- (x T' y) T (u T' z) = (x T u) T' (y T z)
pero usar la operación original sólo será permitido si (identidad medial)
- (x T y) T (u T z) = (x T u) T (y T z)
y esta operación, que da un magma medial puede tener neutro bilátero sólo si es un monoide conmutativo (si y sólo si, por supuesto). Como resultado Med, la categoría medial, tiene todos sus objetos como objetos mediales, y esto la caracteriza.
Wikimedia foundation. 2010.