| Title:
|
Fundamental pushouts of $n$-complicial sets (English) |
| Author:
|
Ozornova, Viktoriya |
| Author:
|
Rovelli, Martina |
| Language:
|
English |
| Journal:
|
Higher Structures |
| ISSN:
|
2209-0606 |
| Volume:
|
6 |
| Issue:
|
1 |
| Year:
|
2022 |
| Pages:
|
403-438 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| Summary:
|
The paper focuses on investigating how certain relations between strict $n$-categories are preserved in a particular implementation of $(\infty, n)$-categories, given by saturated n-complicial sets. In this model, we show that the $(\infty, n)$-categorical nerve of $n$-categories is homotopically compatible with suspension of 1-categories and wedge of $n$-categories. As an application, we show that certain pushouts encoding composition in $n$-categories are homotopy pushouts of saturated $n$-complicial sets. (English) |
| Keyword:
|
$n$-categories |
| Keyword:
|
$(\infty, n)$-categories |
| Keyword:
|
complicial sets |
| Keyword:
|
suspension 2-category |
| Keyword:
|
pushout of $n$-categories |
| MSC:
|
18N10 |
| MSC:
|
18N50 |
| MSC:
|
18N65 |
| MSC:
|
55U10 |
| MSC:
|
55U35 |
| idZBL:
|
Zbl 1502.18050 |
| idMR:
|
MR4456600 |
| DOI:
|
10.21136/HS.2022.09 |
| . |
| Date available:
|
2026-03-13T10:02:06Z |
| Last updated:
|
2026-03-13 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/153453 |
| . |
| Reference:
|
[1] Ara, Dimitri: Higher quasi-categories vs higher Rezk spaces.J. K-Theory, Vol. 14, Iss. 3, 701-749, https://doi.org/10.1017/S1865243315000021, DOI:10.1017/S1865243315000021 MR 3350089, 10.1017/S1865243315000021 |
| Reference:
|
[2] Ara, Dimitri, Maltsiniotis, Georges: Vers une structure de catégorie de modèles à la Thomason sur la catégorie des n-catégories strictes.Adv. Math., Vol. 259, 557-654, https://doi.org/10.1016/j.aim.2014.03.013, DOI:10.1016/j.aim.2014.03.013 MR 3197667, 10.1016/j.aim.2014.03.013 |
| Reference:
|
[3] Ara, Dimitri, Maltsiniotis, Georges: Joint et tranches pour les \infty-catégories strictes.Mém. Soc. Math. Fr. (N.S.), Iss. 165, vi+213, DOI:10.24033/msmf.473 MR 4146146, 10.24033/msmf.473 |
| Reference:
|
[4] Barwick, Clark: (\infty, n)-Cat as a closed model category.PhD thesis |
| Reference:
|
[5] Barwick, Clark, Schommer-Pries, Christopher: On the unicity of the theory of higher categories.J. Amer. Math. Soc., Vol. 34, Iss. 4, 1011-1058, https://doi.org/10.1090/jams/972, DOI:10.1090/jams/972 MR 4301559, 10.1090/jams/972 |
| Reference:
|
[6] Bergner, Julia E.: A model category structure on the category of simplicial categories.Transactions of the American Mathematical Society, Vol. 359, Iss. 5, 2043-2058 MR 2276611, 10.1090/S0002-9947-06-03987-0 |
| Reference:
|
[7] Duskin, John W.: Simplicial matrices and the nerves of weak n-categories. I. Nerves of bicategories.Theory Appl. Categ., Vol. 9, 198-308 MR 1897816, 10.70930/tac/3ngy0i1s |
| Reference:
|
[8] Ehlers, Philip J., Porter, Tim: Joins for (augmented) simplicial sets.Journal of pure and applied algebra, Vol. 145, Iss. 1, 37-44 10.1016/S0022-4049(98)00065-6 |
| Reference:
|
[9] Gagna, Andrea: On the homotopy theory of strict 3-categories.retrieved in June 2022, PhD thesis available at https://drive.google.com/file/d/1ec_RdrMkAprotLWISN1OrtSvBz7ZoQd_/view |
| Reference:
|
[10] Goerss, Paul G., Jardine, John F.: Simplicial homotopy theory.Modern birkhäuser classics, Birkhäuser Verlag, Basel, https://doi.org/10.1007/978-3-0346-0189-4, ISBN:978-3-0346-0188-7, DOI:10.1007/978-3-0346-0189-4 MR 2840650, 10.1007/978-3-0346-0189-4 |
| Reference:
|
[11] Hirschhorn, Philip S.: Model categories and their localizations.Mathematical surveys and monographs, American Mathematical Society, Providence, RI, ISBN:0-8218-3279-4 MR 1944041 |
| Reference:
|
[12] Hirschhorn, Philip S.: Overcategories and undercategories of cofibrantly generated model categories.J. Homotopy Relat. Struct., Vol. 16, Iss. 4, 753-768, https://doi.org/10.1007/s40062-021-00294-4, DOI:10.1007/s40062-021-00294-4 MR 4343079, 10.1007/s40062-021-00294-4 |
| Reference:
|
[13] Hovey, Mark: Model categories.Mathematical surveys and monographs, American Mathematical Society, Providence, RI, ISBN:0-8218-1359-5 |
| Reference:
|
[14] Joyal, André: Disks, Duality and \Theta-categories.retrieved in June 2022, preprint available at https://ncatlab.org/nlab/files/JoyalThetaCategories.pdf |
| Reference:
|
[15] Joyal, André: Quasi-categories vs simplicial categories.retrieved in June 2022, preprint available at http://www.math.uchicago.edu/~may/IMA/Incoming/Joyal/QvsDJan9(2007).pdf |
| Reference:
|
[16] Joyal, André: The theory of quasi-categories and its applications.retrieved in June 2022, preprint available at http://mat.uab.cat/~kock/crm/hocat/advanced-course/Quadern45-2.pdf |
| Reference:
|
[17] Joyal, André, Tierney, Myles: Quasi-categories vs Segal spaces.Categories in algebra, geometry and mathematical physics, pages 277-326, Contemp. math. 431 MR 2342834 |
| Reference:
|
[18] Kan, Daniel M.: Semisimplicial spectra.Illinois J. Math., Vol. 7, 463-478, http://projecteuclid.org/euclid.ijm/1255644953 |
| Reference:
|
[19] Kan, Daniel M., Whitehead, George W.: The reduced join of two spectra.Topology, Vol. 3, Iss. suppl. 2, 239-261, https://doi.org/10.1016/0040-9383(65)90077-7, DOI:10.1016/0040-9383(65)90077-7 10.1016/0040-9383(65)90077-7 |
| Reference:
|
[20] Lack, Stephen: A Quillen model structure for 2-categories.K-theory, Vol. 26, Iss. 2, 171-205 MR 1931220, 10.1023/A:1020305604826 |
| Reference:
|
[21] Lafont, Yves, Métayer, François, Worytkiewicz, Krzysztof: A folk model structure on omega-cat.Advances in Mathematics, Vol. 224, Iss. 3, 1183-1231 MR 2628809, 10.1016/j.aim.2010.01.007 |
| Reference:
|
[22] Leinster, Tom: Higher operads, higher categories.London mathematical society lecture note series, Cambridge University Press, Cambridge, https://doi.org/10.1017/CBO9780511525896, ISBN:0-521-53215-9, DOI:10.1017/CBO9780511525896 10.1017/CBO9780511525896 |
| Reference:
|
[23] Lurie, Jacob: Higher topos theory.Annals of mathematics studies, Princeton University Press, Princeton, NJ, http://dx.doi.org/10.1515/9781400830558, ISBN:978-0-691-14049-0; 0-691-14049-9, DOI:10.1515/9781400830558 MR 2522659, 10.1515/9781400830558 |
| Reference:
|
[24] Lurie, Jacob: (\infty, 2)-categories and the Goodwillie Calculus I.preprint available at https://arxiv.org/abs/0905.0462 |
| Reference:
|
[25] Olschok, Marc: Left determined model structures for locally presentable categories.Appl. Categ. Structures, Vol. 19, Iss. 6, 901-938, https://doi.org/10.1007/s10485-009-9207-2, DOI:10.1007/s10485-009-9207-2 MR 2861071, 10.1007/s10485-009-9207-2 |
| Reference:
|
[26] Ozornova, Viktoriya, Rovelli, Martina: Model structures for (\infty,n)–categories on (pre)stratified simplicial sets and prestratified simplicial spaces.Algebr. Geom. Topol., Vol. 20, Iss. 3, 1543-1600, https://doi.org/10.2140/agt.2020.20.1543, DOI:10.2140/agt.2020.20.1543 MR 4105558, 10.2140/agt.2020.20.1543 |
| Reference:
|
[27] Ozornova, Viktoriya, Rovelli, Martina: Nerves of 2-categories and 2-categorification of (\infty,2)-categories.Advances in Mathematics, Vol. 391, 107948, https://www.sciencedirect.com/science/article/pii/
S000187082100387X, DOI:https://doi.org/10.1016/j.aim.2021.107948 MR 4301487, 10.1016/j.aim.2021.107948 |
| Reference:
|
[28] Ozornova, Viktoriya, Rovelli, Martina: The Duskin nerve of 2-categories in Joyal’s cell category \Theta_2.Journal of Pure and Applied Algebra, Vol. 225, Iss. 1, 106462, http://www.sciencedirect.com/science/article/pii/
S0022404920301638, DOI:https://doi.org/10.1016/j.jpaa.2020.106462 MR 4114971, 10.1016/j.jpaa.2020.106462 |
| Reference:
|
[29] Rezk, Charles: A Cartesian presentation of weak n-categories.Geom. Topol., Vol. 14, Iss. 1, 521-571, https://doi.org/10.2140/gt.2010.14.521 MR 2578310, 10.2140/gt.2010.14.521 |
| Reference:
|
[30] Riehl, Emily: Complicial sets, an overture.2016 MATRIX annals, pages 49-76, MATRIX book ser. 1 MR 3792516 |
| Reference:
|
[31] Riehl, Emily, Verity, Dominic: The 2-category theory of quasi-categories.Adv. Math., Vol. 280, 549-642, https://doi.org/10.1016/j.aim.2015.04.021, DOI:10.1016/j.aim.2015.04.021 MR 3350229, 10.1016/j.aim.2015.04.021 |
| Reference:
|
[32] Riehl, Emily, Verity, Dominic: Recognizing quasi-categorical limits and colimits in homotopy coherent nerves.Applied Categorical Structures, 1-48 MR 4114996 |
| Reference:
|
[33] Riehl, Emily, Verity, Dominic: Elements of \infty-category theory.Cambridge studies in advanced mathematics, Cambridge University Press, Cambridge, ISBN:978-1-108-83798-9 MR 4354541 |
| Reference:
|
[34] Stephan, Marc: Kan spectra, group spectra and twisting structures.retrieved in June 2022, EPF Lausanne; PhD thesis available at https://drive.google.com/file/d/1QvkQvo9jtQlr1H-zbwG4JrFVimk1SI97/view |
| Reference:
|
[35] Street, Ross: The algebra of oriented simplexes.J. Pure Appl. Algebra, Vol. 49, Iss. 3, 283-335, https://doi.org/10.1016/0022-4049(87)90137-X, DOI:10.1016/0022-4049(87)90137-X 10.1016/0022-4049(87)90137-X |
| Reference:
|
[36] Verity, Dominic: Weak complicial sets. II. Nerves of complicial Gray-categories.Categories in algebra, geometry and mathematical physics, pages 441-467, Contemp. math. 431 MR 2342841 |
| Reference:
|
[37] Verity, Dominic: Complicial sets characterising the simplicial nerves of strict \omega-categories.Mem. Amer. Math. Soc., Vol. 193, Iss. 905, xvi+184, https://doi.org/10.1090/memo/0905, DOI:10.1090/memo/0905 MR 2399898, 10.1090/memo/0905 |
| Reference:
|
[38] Verity, Dominic: Weak complicial sets. I. Basic homotopy theory.Adv. Math., Vol. 219, Iss. 4, 1081-1149, http://dx.doi.org/10.1016/j.aim.2008.06.003, DOI:10.1016/j.aim.2008.06.003 MR 2450607, 10.1016/j.aim.2008.06.003 |
| . |
