A magma es un conjunto $M$ equipado con una operación binaria $* : M \times M \to M$ . En álgebra abstracta solemos empezar estudiando un tipo especial de magma: los grupos. Los grupos satisfacen ciertos axiomas adicionales que deben satisfacer las "simetrías de las cosas". Esto se precisa en el sentido de que para cualquier objeto $A$ en una categoría $C$ los morfismos invertibles $A \to A$ tienen una estructura de grupo dada de nuevo por la composición. Una definición alternativa de "grupo" es, pues, "categoría de un objeto con morfismos invertibles", y entonces los axiomas adicionales que satisfacen los grupos se derivan de los axiomas de una categoría (que, por ahora, consideraremos significativos). Por tanto, los grupos vienen equipados con una noción natural de representación: una representación de un grupo $G$ (en sentido amplio) es sólo un functor de $G$ . Las opciones típicas de la categoría de destino incluyen $\text{Set}$ y $\text{Hilb}$ .
Me parece, sin embargo, que los magmas (y sus primos, como las álgebras no asociativas) no admiten naturalmente la misma interpretación; cuando se desecha la asociatividad, se pierde la conexión con la composición de funciones. Se puede pensar en los ejemplos anteriores de la siguiente manera: hay una categoría de grupos, y para estudiar el grupo $G$ nos gusta estudiar el functor $\text{Hom}(G, -)$ y para estudiar este functor nos gusta introducir los grupos $S_n$ o los grupos $GL_n(\mathbb{C})$ etc. a la derecha, ya que estos son "naturales" de ver. Pero en la categoría de magmas no tengo ni idea de cuáles son los ejemplos "naturales".
Pregunta 1: ¿Tienen los magmas y objetos afines, como las álgebras no asociativas, una noción "natural" de "representación"?
No me queda del todo claro qué debe significar "natural". Una propiedad que me gustaría que tuviera tal noción es un análogo del teorema de Cayley.
Para ciertas clases especiales de objetos no asociativos existe a veces una noción de "natural": por ejemplo, entre las álgebras no necesariamente asociativas podemos destacar las álgebras de Lie, y éstas tienen una noción "natural" de representación porque queremos que el mapa de los grupos de Lie a las álgebras de Lie sea functorial. Pero esta es una consideración muy especial; no sé qué se puede decir en general.
(Si se te ocurren mejores etiquetas, no dudes en reetiquetar).
Edit : Esta es quizás una versión más centrada de la pregunta.
Pregunta 2: ¿Existe una secuencia "bonita" $M_n$ de magmas finitos tal que cualquier magma finito $M$ está determinada por la secuencia $\text{Hom}(M, M_n)$ ? (En particular, $M_n$ no debería ser una enumeración de todos los magmas finitos) Una definición de "bonito" podría ser que existen morfismos compatibles $M_n \times M_m \to M_{n+m}$ pero no tengo claro que esto sea necesariamente deseable.
Edit : Esta es quizás otra versión más centrada de la pregunta.
Pregunta 3: ¿Puede realizarse la categoría de magmas como una categoría de categorías pequeñas de forma que se generalice la realización habitual de la categoría de grupos como una categoría de categorías pequeñas?
Edit : Tom Church plantea un buen punto en los comentarios que no he abordado directamente. Las motivaciones que he dado más arriba para la noción "natural" de representación de un grupo o un álgebra de Lie son en cierto sentido externas a su descripción ecuacional y provienen realmente de lo que nos gustaría que hicieran los grupos y las álgebras de Lie por nosotros. Así que supongo que parte de lo que estoy preguntando es si hay una motivación externa sensata para estudiar magmas arbitrarias, y si esa motivación nos lleva a una buena definición de representación.
Edit : Supongo que también debería hacer esto explícito. Hay dos tipos de respuestas completamente opuestas que aceptaría como una buena respuesta a esta pregunta:
-
Una que da una motivación "externa" al estudio de magmas arbitrarios (de forma similar a como los sistemas dinámicos motivan el estudio de operaciones unarias arbitrarias $M \to M$ ) que sugiere una noción natural de representación, como la anterior. Esta noción podría no parecerse en nada a la noción habitual de una acción de grupo o de una representación lineal, y podría no responder a la pregunta 3.
-
Uno que sea "autónomo" en algún sentido. Lo ideal sería que consistiera en una respuesta a la pregunta 3. Me imagino alguna variante de la siguiente construcción: a cada magma $M$ asociamos una categoría cuyos objetos son los enteros no negativos donde $\text{Hom}(m, n)$ se compone de árboles binarios con $n$ raíces (orden distinguido izquierda-derecha) y $m$ hojas "vacías" (igual), con las restantes hojas del árbol etiquetadas por elementos de $M$ . La composición viene dada por la introducción de raíces en hojas vacías. Creo que esto es en realidad una 2-categoría con 2-morfismos dados por colapsar pares de elementos de $M$ con el mismo padre en su producto. ¡Una respuesta ideal sería explicar por qué esta construcción, o alguna variante de la misma, o alguna otra construcción por completo, es natural desde alguna perspectiva de categoría superior y entonces alguien escribiría sobre ello en el nLab!