Topological proofs of categorical coherence
From MaRDI portal
Publication:6426487
arXiv2302.07391MaRDI QIDQ6426487FDOQ6426487
Authors: Pierre-Louis Curien, Guillaume Laplante-Anfossi 
Publication date: 14 February 2023
Abstract: In this note, we give a short topological proof of coherence for categorified non-symmetric operads by using the fact that the diagrams involved are the 1-skeleton of simply connected CW complexes. In particular, we obtain a "one-step" topological proof of MacLane's coherence theorem, as suggested by Kapranov in 1993. In addition, we use Morse theory to give a second topological proof which is very close to MacLane's original argument. We use the same methods to deduce other categorical coherence results and discuss possible generalisations to higher categories.
(n)-dimensional polytopes (52B11) Tricategories, weak (n)-categories, coherence, semi-strictification (18N20)
This page was built for publication: Topological proofs of categorical coherence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6426487)
