La manera estándar para codificar un grupo como una categoría como "una categoría con un objeto y todas las flechas invertible". Todas las flechas son un grupo de elementos, y la composición de las flechas es el grupo de operación.
Un bucle obedece similar axiomas para un grupo, pero no impone la asociatividad. La recíproca no tiene que existir, pero una "cancelación de propiedad" existe, dado $xy = z$, y dos de $x$, $y$, y $z$, la tercera está determinada únicamente.
Quasigroups que ni siquiera necesita tener un elemento neutro.
Dada la falta de asociatividad, las flechas debajo de composición no trabajo para codificar los elementos de bucle.
Es allí una manera natural de hacer esto?
