Sketchable infinity categories
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914132581679104 |
|---|---|
| author | Casacuberta, Carles Gutiérrez, Javier J. Martínez-Carpena, David |
| author_facet | Casacuberta, Carles Gutiérrez, Javier J. Martínez-Carpena, David |
| contents | A sketch is a category equipped with specified collections of cones and cocones. Its models are functors to the category of sets that send the distinguished cones and cocones to limit cones and colimit cocones, respectively. Sketches provide a categorical formalization of theories, interpreting logical operations in terms of limits and colimits. Gabriel and Ulmer showed that categories of models of sketches involving only cones (called limit sketches) are precisely the locally presentable categories, while Lair extended this correspondence to sketches including both cones and cocones, thereby characterizing accessible categories.
In this article, we discuss a homotopy-coherent generalization of sketches in the context of $\infty$-categories and prove that presentable $\infty$-categories are the $\infty$-categories of models of limit sketches, whereas accessible $\infty$-categories arise as the $\infty$-categories of models of arbitrary sketches. As illustrations, we make the corresponding sketches explicit for a wide range of $\infty$-categories, including complete Segal spaces, $\infty$-operads, $A_\infty$-algebras, $E_\infty$-algebras, spectra, and higher sheaves. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_01497 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Sketchable infinity categories Casacuberta, Carles Gutiérrez, Javier J. Martínez-Carpena, David Algebraic Topology Category Theory 55U35, 18C30, 18C35, 18N60 A sketch is a category equipped with specified collections of cones and cocones. Its models are functors to the category of sets that send the distinguished cones and cocones to limit cones and colimit cocones, respectively. Sketches provide a categorical formalization of theories, interpreting logical operations in terms of limits and colimits. Gabriel and Ulmer showed that categories of models of sketches involving only cones (called limit sketches) are precisely the locally presentable categories, while Lair extended this correspondence to sketches including both cones and cocones, thereby characterizing accessible categories. In this article, we discuss a homotopy-coherent generalization of sketches in the context of $\infty$-categories and prove that presentable $\infty$-categories are the $\infty$-categories of models of limit sketches, whereas accessible $\infty$-categories arise as the $\infty$-categories of models of arbitrary sketches. As illustrations, we make the corresponding sketches explicit for a wide range of $\infty$-categories, including complete Segal spaces, $\infty$-operads, $A_\infty$-algebras, $E_\infty$-algebras, spectra, and higher sheaves. |
| title | Sketchable infinity categories |
| topic | Algebraic Topology Category Theory 55U35, 18C30, 18C35, 18N60 |
| url | https://arxiv.org/abs/2511.01497 |