Topological proofs of categorical coherence
| Autor: | Curien, Pierre-Louis, Laplante-Anfossi, Guillaume |
|---|---|
| Rok vydání: | 2023 |
| Předmět: | |
| Zdroj: | Cahiers de topologie et g\'eom\'etrie diff\'erentielle cat\'egoriques, Volume LXV, 2024, Issue 4, 357-389 |
| Druh dokumentu: | Working Paper |
| Popis: | We give a short topological proof of coherence for categorified non-symmetric operads by using the fact that the diagrams involved form the 1-skeleton of simply connected CW complexes. We also obtain a "one-step" topological proof of Mac Lane's coherence theorem for symmetric monoidal categories, as suggested by Kapranov in 1993. Our analysis is based on a notion of combinatorial homotopy, which we further study in the special case of polyhedral complexes, leading to a second geometrical proof of coherence which is very close to Mac Lane's original argument. We use Morse theory to show that this second method is (strictly) less general than the first. We provide a detailed analysis of how both methods allow us to deduce these two categorical coherence results and discuss possible generalizations to higher categories. Comment: 23 pages, 5 figures. Substantial improvements: new Lemma 1.7, new section on rewriting, new section on Kapranov vs Mac Lane coherence for symmetric monoidal categories, improved exposition, updated references, to appear in Cahiers de topologie et g\'eom\'etrie diff\'erentielle cat\'egoriques |
| Databáze: | arXiv |
| Externí odkaz: |
|