nLab AUC

Contents

 Idea

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.

 References

For the AUC terminology in category theory, see:

“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.