# Is there a standard category-theoretic way to express a loop or quasigroup?

The standard way to encode a group as a category is as a "category with one object and all arrows invertible". All of the arrows are group elements, and composition of arrows is the group operation.

A loop obeys similar axioms to a group, but does not impose associativity. Inverses need not exist, but a "cancellation property" exists -- given $xy = z$, and any two of $x$, $y$, and $z$, the third is uniquely determined.

Quasigroups need not even have a neutral element.

Given the lack of associativity, arrows under composition do not work to encode loop elements.

Is there a natural way to do this?

-
Semigroups are "categories with one object"; for groups, you must also require every arrow to be invertible. – Arturo Magidin Apr 18 '11 at 21:11
The lack of associativity is precisely what makes loops not at all like groups. As you say, arrows under composition can't model elements of a loop, so I don't see how this is a natural question to ask. The category-theoretic formalism is inherently associative. – Qiaochu Yuan Apr 18 '11 at 21:30
@wnoise: When people say category theory is a good way to talk about most fields, they mean that in most fields the objects of interest have some sort of morphisms between them defined and that these form a category. I don't think people mean that the objects themselves are best defined in categorical terms. – Omar Antolín-Camarena Apr 18 '11 at 22:27
@wnoise: you can use category theory to talk about loops in the sense that you can define a category of loops. I just don't see a natural way to express individual loops as categories. – Qiaochu Yuan Apr 18 '11 at 22:27
I understand that last complaint. In the course of cleaning up rarely used tags I removed the (loops) tag from this site altogether because there was no consistent use of it -- several people started using it for "loops" as in "loop-space" or "fundamental group". Then I decided to remove the (quasi-groups) tag because there is no universally recognized meaning for it (as is the case with so many quasi-things) and since there were only two or three questions tagged such anyway, so I saw little use for it. – t.b. Sep 27 '11 at 3:44