Previous |  Up |  Next

Article

Keywords:
$n$-categories; $(\infty, n)$-categories; complicial sets; suspension 2-category; pushout of $n$-categories
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.
References:
[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 DOI 10.1017/S1865243315000021 | MR 3350089
[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 DOI 10.1016/j.aim.2014.03.013 | MR 3197667
[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 DOI 10.24033/msmf.473 | MR 4146146
[4] Barwick, Clark: (\infty, n)-Cat as a closed model category. PhD thesis
[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 DOI 10.1090/jams/972 | MR 4301559
[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 DOI 10.1090/S0002-9947-06-03987-0 | MR 2276611
[7] Duskin, John W.: Simplicial matrices and the nerves of weak n-categories. I. Nerves of bicategories. Theory Appl. Categ., Vol. 9, 198-308 DOI 10.70930/tac/3ngy0i1s | MR 1897816
[8] Ehlers, Philip J., Porter, Tim: Joins for (augmented) simplicial sets. Journal of pure and applied algebra, Vol. 145, Iss. 1, 37-44 DOI 10.1016/S0022-4049(98)00065-6
[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
[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 DOI 10.1007/978-3-0346-0189-4 | MR 2840650
[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
[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 DOI 10.1007/s40062-021-00294-4 | MR 4343079
[13] Hovey, Mark: Model categories. Mathematical surveys and monographs, American Mathematical Society, Providence, RI, ISBN:0-8218-1359-5
[14] Joyal, André: Disks, Duality and \Theta-categories. retrieved in June 2022, preprint available at https://ncatlab.org/nlab/files/JoyalThetaCategories.pdf
[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
[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
[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
[18] Kan, Daniel M.: Semisimplicial spectra. Illinois J. Math., Vol. 7, 463-478, http://projecteuclid.org/euclid.ijm/1255644953
[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 DOI 10.1016/0040-9383(65)90077-7
[20] Lack, Stephen: A Quillen model structure for 2-categories. K-theory, Vol. 26, Iss. 2, 171-205 DOI 10.1023/A:1020305604826 | MR 1931220
[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 DOI 10.1016/j.aim.2010.01.007 | MR 2628809
[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 DOI 10.1017/CBO9780511525896
[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 DOI 10.1515/9781400830558 | MR 2522659
[24] Lurie, Jacob: (\infty, 2)-categories and the Goodwillie Calculus I. preprint available at https://arxiv.org/abs/0905.0462
[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 DOI 10.1007/s10485-009-9207-2 | MR 2861071
[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 DOI 10.2140/agt.2020.20.1543 | MR 4105558
[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 DOI 10.1016/j.aim.2021.107948 | MR 4301487
[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 DOI 10.1016/j.jpaa.2020.106462 | MR 4114971
[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 DOI 10.2140/gt.2010.14.521 | MR 2578310
[30] Riehl, Emily: Complicial sets, an overture. 2016 MATRIX annals, pages 49-76, MATRIX book ser. 1 MR 3792516
[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 DOI 10.1016/j.aim.2015.04.021 | MR 3350229
[32] Riehl, Emily, Verity, Dominic: Recognizing quasi-categorical limits and colimits in homotopy coherent nerves. Applied Categorical Structures, 1-48 MR 4114996
[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
[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
[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 DOI 10.1016/0022-4049(87)90137-X
[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
[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 DOI 10.1090/memo/0905 | MR 2399898
[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 DOI 10.1016/j.aim.2008.06.003 | MR 2450607
Partner of
EuDML logo