AUC (ACU in the French language) is a method of naming magmoidal categories:
A stands for associative
U stands for unital
C stands for commutative
Thus an AU category would be a monoidal category. The AUC terminology is commonly used in rewriting theory.
For the AUC terminology in category theory, see:
Hoàng Xuân Sính, Gr-catégories, Ph.D. thesis (1973) [web]
Neantro Saavedra-Rivano?, Catégories Tannakiennes, Bulletin de la Société Mathématique de France 100 (1972) 417-430
“John Baez wrote:
Right, it’s an efficient way to name all the possibilities. What makes it look baroque is that nowadays we’ve realized that 99% of the time, we only need two of the possibilities.
It turns out that in the area of CS called rewriting theory, all the possibilities show up. So they’ve stuck to the AUC naming scheme.“ - Jacques Carette
Created on July 12, 2023 at 18:50:39. See the history of this page for a list of all contributions to it.