Mac Lane's coherence theorem expressed as a word problem
Résumé
In this manuscript, we reduce the coherence theorem for braided monoidal categories to the resolution of a word problem, and the construction of a category of fractions. The technique explicates the combinatorial nature of that particular coherence theorem.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...