Familial Monads as Higher Category Theories
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2021
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866916770602811392 |
|---|---|
| author | Shapiro, Brandon |
| author_facet | Shapiro, Brandon |
| contents | Categories, n-categories, double categories, and multicategories (among others) all have similar definitions as collections of cells with composition operations. We give an explicit description of the information required to define any higher category structure which arises as algebras for a familially representable monad on a presheaf category, then use this to describe several examples relating to higher category theory and cubical sets. The proof of this characterization avoids tedious naturality arguments by passing through the theory of categorical polynomials; along the way, we give descriptions of pullbacks, composites, and exponentiations of split opfibrations in terms of their classifying functors which may be of independent interest. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2111_14796 |
| institution | arXiv |
| publishDate | 2021 |
| record_format | arxiv |
| spellingShingle | Familial Monads as Higher Category Theories Shapiro, Brandon Category Theory 18C15, 18C10, 18D30, 18M65, 18N10, 18N30 Categories, n-categories, double categories, and multicategories (among others) all have similar definitions as collections of cells with composition operations. We give an explicit description of the information required to define any higher category structure which arises as algebras for a familially representable monad on a presheaf category, then use this to describe several examples relating to higher category theory and cubical sets. The proof of this characterization avoids tedious naturality arguments by passing through the theory of categorical polynomials; along the way, we give descriptions of pullbacks, composites, and exponentiations of split opfibrations in terms of their classifying functors which may be of independent interest. |
| title | Familial Monads as Higher Category Theories |
| topic | Category Theory 18C15, 18C10, 18D30, 18M65, 18N10, 18N30 |
| url | https://arxiv.org/abs/2111.14796 |