On the equivalence between $\Theta _{n}$-spaces and iterated Segal spaces
HTML articles powered by AMS MathViewer
- by Rune Haugseng PDF
- Proc. Amer. Math. Soc. 146 (2018), 1401-1415
Abstract:
We give a new proof of the equivalence between two of the main models for $(\infty ,n)$-categories, namely the $n$-fold Segal spaces of Barwick and the $\mathbf {\Theta }_{n}$-spaces of Rezk, by proving that these are algebras for the same monad on the $\infty$-category of $n$-globular spaces. The proof works for a broad class of $\infty$-categories that includes all $\infty$-topoi.References
- Clark Barwick, $(\infty ,n)$-Cat as a closed model category, 2005. Thesis (Ph.D.)–University of Pennsylvania.
- Clark Barwick, From operator categories to topological operads (2013), available at arXiv:1302.5756.
- Clark Barwick and Christopher Schommer-Pries, On the unicity of the homotopy theory of higher categories (2011), available at arXiv:1112.0040.
- Clemens Berger, A cellular nerve for higher categories, Adv. Math. 169 (2002), no. 1, 118–175. MR 1916373, DOI 10.1006/aima.2001.2056
- Clemens Berger, Iterated wreath product of the simplex category and iterated loop spaces, Adv. Math. 213 (2007), no. 1, 230–270. MR 2331244, DOI 10.1016/j.aim.2006.12.006
- Julia E. Bergner and Charles Rezk, Comparison of models for $(\infty ,n)$-categories II (2014), available at arXiv:1406.4182.
- Rune Haugseng, Iterated spans and “classical” topological field theories (2014), available at arXiv:1409.0837.
- Rune Haugseng, The higher Morita category of $\Bbb {E}_n$-algebras, Geom. Topol. 21 (2017), no. 3, 1631–1730. MR 3650080, DOI 10.2140/gt.2017.21.1631
- Rune Haugseng, Bimodules and natural transformations for enriched $\infty$-categories, Homology Homotopy Appl. 18 (2016), no. 1, 71–98. MR 3474202, DOI 10.4310/HHA.2016.v18.n1.a5
- Jacob Lurie, Higher topos theory, Annals of Mathematics Studies, vol. 170, Princeton University Press, Princeton, NJ, 2009. MR 2522659, DOI 10.1515/9781400830558
- Jacob Lurie, ($\infty$,2)-Categories and the Goodwillie Calculus I (2009), available at http://math.harvard.edu/~lurie/papers/GoodwillieI.pdf.
- Jacob Lurie, Higher Algebra, 2014. Available at http://math.harvard.edu/~lurie/papers/higheralgebra.pdf.
- Charles Rezk, A model for the homotopy theory of homotopy theory, Trans. Amer. Math. Soc. 353 (2001), no. 3, 973–1007. MR 1804411, DOI 10.1090/S0002-9947-00-02653-2
- Charles Rezk, A Cartesian presentation of weak $n$-categories, Geom. Topol. 14 (2010), no. 1, 521–571. MR 2578310, DOI 10.2140/gt.2010.14.521
- Mark Weber, Familial 2-functors and parametric right adjoints, Theory Appl. Categ. 18 (2007), No. 22, 665–732.
Additional Information
- Rune Haugseng
- Affiliation: Department of Mathematical Sciences, University of Copenhagen, Copenhagen, Denmark
- MR Author ID: 1111803
- Email: haugseng@math.ku.dk
- Received by editor(s): April 28, 2016
- Received by editor(s) in revised form: January 29, 2017
- Published electronically: December 26, 2017
- Communicated by: Michael A. Mandell
- © Copyright 2017 Rune Haugseng
- Journal: Proc. Amer. Math. Soc. 146 (2018), 1401-1415
- MSC (2010): Primary 18D05, 55U40
- DOI: https://doi.org/10.1090/proc/13695
- MathSciNet review: 3754328