| Title:
|
Colimits and cocompletions in internal higher category theory (English) |
| Author:
|
Martini, Louis |
| Author:
|
Wolf, Sebastian |
| Language:
|
English |
| Journal:
|
Higher Structures |
| ISSN:
|
2209-0606 |
| Volume:
|
8 |
| Issue:
|
1 |
| Year:
|
2024 |
| Pages:
|
97-192 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| Summary:
|
We develop a number of basic concepts in the theory of categories internal to an $\infty$-topos. We discuss adjunctions, limits and colimits as well as Kan extensions for internal categories, and we use these results to establish the universal property of internal presheaf categories. We furthermore construct the free cocompletion of an internal category by colimits that are indexed by an arbitrary class of diagram shapes. (English) |
| Keyword:
|
Higher topos theory |
| Keyword:
|
Parametrised higher category theory |
| Keyword:
|
Internal higher category theory |
| MSC:
|
18Axx |
| MSC:
|
18F20 |
| MSC:
|
55Pxx |
| idZBL:
|
Zbl 1547.18005 |
| idMR:
|
MR4752519 |
| DOI:
|
10.21136/HS.2024.03 |
| . |
| Date available:
|
2026-03-13T14:06:51Z |
| Last updated:
|
2026-03-13 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/153467 |
| . |
| Reference:
|
[1] Bachmann, Tom, Elmanto, Elden, Heller, Jeremiah: Motivic colimits and extended powers.arXiv preprint |
| Reference:
|
[2] Barwick, Clark, Dotto, Emanuele, Glasman, Saul, Nardin, Denis, Shah, Jay: Parametrized higher category theory and higher algebra: A general introduction.arXiv preprint MR 3781930 |
| Reference:
|
[3] Barwick, Clark, Haine, Peter: Pyknotic objects, I. Basic notions.arXiv preprint |
| Reference:
|
[4] Buchholtz, Ulrik, Weinberger, Jonathan: Synthetic fibered (\infty,1)-category theory.Higher Structures, Vol. 7, Iss. 1, 74-165 MR 4600458 |
| Reference:
|
[5] Cisinski, Denis-Charles: Higher categories and homotopical algebra.Cambridge studies in advanced mathematics, Cambridge University Press, DOI:10.1017/9781108588737 MR 3931682, 10.1017/9781108588737 |
| Reference:
|
[6] Cisinski, Denis-Charles, Déglise, Frédéric: Triangulated categories of mixed motives.Springer monographs in mathematics, Springer International Publishing MR 3971240 |
| Reference:
|
[7] Drew, Brad, Gallauer, Martin: The universal six-functor formalism.Annals of K-Theory, Vol. 7, Iss. 4, 599-649, DOI:10.2140/akt.2022.7.599 MR 4560376, 10.2140/akt.2022.7.599 |
| Reference:
|
[8] Gray, John W.: Formal category theory: Adjointness for 2-categories.Lecture notes in mathematics, Springer-Verlag Berlin Heidelberg |
| Reference:
|
[9] Haugseng, Rune: On lax transformations, adjunctions, and monads in (\infty,2)-categories.Higher Structures, Vol. 5, Iss. 1, 244-281 MR 4367222, 10.21136/HS.2021.07 |
| Reference:
|
[10] Hopkins, Michael, Lurie, Jacob: Ambidexterity in K(n)-local stable homotopy theory.preprint |
| Reference:
|
[11] Johnstone, Peter: Sketches of an elephant - a topos theory compendium.Oxford logic guides, The Clarendon Press Oxford University Press MR 2063092 |
| Reference:
|
[12] Joyal, A.: Quasi-categories and Kan complexes.Special volume celebrating the 70th birthday of professor max kelly, pages 207-222, 1-3 175 MR 1935979 |
| Reference:
|
[13] Joyal, André: Notes on quasi-categories.preprint |
| Reference:
|
[14] Joyal, André: The theory of quasi-categories and its applications.Advanced course on simplicial methods in higher categories |
| Reference:
|
[15] Kelly, G Max, Street, Ross: Review of the elements of 2-categories.Category seminar: Proceedings sydney category theory seminar 1972/1973, pp 75-103 MR 0357542 |
| Reference:
|
[16] Lurie, Jacob: (\infty,2)-categories and the Goodwillie calculus i.arXiv preprint |
| Reference:
|
[17] Lurie, Jacob: Higher topos theory.Annals of mathematics studies, Princeton University Press, Princeton, NJ MR 2522659 |
| Reference:
|
[18] Lurie, Jacob: Higher algebra.preprint |
| Reference:
|
[19] Martini, Louis: Yoneda’s lemma for internal higher categories.arXiv preprint |
| Reference:
|
[20] Rasekh, Nima: Introduction to complete Segal spaces.arXiv preprint MR 0759901 |
| Reference:
|
[21] Rasekh, Nima: Cartesian fibrations and representability.Homology, Homotopy and Applications, Vol. 24, Iss. 2, 135-161, DOI:10.4310/HHA.2022.v24.n2.a7 MR 4467022, 10.4310/HHA.2022.v24.n2.a7 |
| Reference:
|
[22] Rezk, Charles: A model for the homotopy theory of homotopy theory.Transactions of the American Mathematical Society, Vol. 353, Iss. 3, 973-1007 MR 1804411, 10.1090/S0002-9947-00-02653-2 |
| Reference:
|
[23] Riehl, Emily, Shulman, Michael: A type theory for synthetic \infty-categories.Higher Structures, Vol. 1, Iss. 1, 147-224 MR 3912054, 10.21136/HS.2017.06 |
| Reference:
|
[24] Riehl, Emily, Verity, Dominic: Elements of \infty-category theory.Cambridge studies in advanced mathematics, Cambridge University Press, Cambridge, ISBN:978-1-108-83798-9, DOI:10.1017/9781108936880 MR 4354541, 10.1017/9781108936880 |
| Reference:
|
[25] Scholze, Peter: Lectures on condensed mathematics.Lecture notes |
| Reference:
|
[26] Shah, Jay: Parametrized higher category theory II: Universal constructions.arXiv preprint MR 3781930 |
| Reference:
|
[27] Shah, Jay: Parametrized higher category theory.Algebraic & Geometric Topology, Vol. 23, Iss. 2, 509-644, DOI:10.2140/agt.2023.23.509 MR 4587313, 10.2140/agt.2023.23.509 |
| Reference:
|
[28] Shulman, Michael: All (\infty,1)-toposes have strict univalent universes.arXiv preprint |
| Reference:
|
[29] Vergura, Marco: Localization theory in an \infty-topos.arXiv preprint MR 4494913 |
| Reference:
|
[30] Volpe, Marco: The six operations in topology.arXiv preprint MR 4991460 |
| Reference:
|
[31] Weinberger, Jonathan: Internal sums for synthetic fibered (\infty,1)-categories.arXiv preprint MR 4722334 |
| Reference:
|
[32] Weinberger, Jonathan: Two-sided cartesian fibrations of synthetic (\infty,1)-categories.arXiv preprint MR 4788003 |
| Reference:
|
[33] Wolf, Sebastian: The pro-étale topos as a category of pyknotic presheaves.Documenta Mathematica, Vol. 27, 2067-2106, DOI:10.25537/dm.2022v27.2067-2106 MR 4574234, 10.4171/dm/x26 |
| . |
