Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)



On the equivalence between $ \Theta_{n}$-spaces and iterated Segal spaces

Author: Rune Haugseng
Journal: Proc. Amer. Math. Soc. 146 (2018), 1401-1415
MSC (2010): Primary 18D05, 55U40
Published electronically: December 26, 2017
Full-text PDF

Abstract | References | Similar Articles | Additional Information

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 [Enhancements On Off] (What's this?)

  • [Bar05] Clark Barwick, $ (\infty,n)$-Cat as a closed model category, 2005. Thesis (Ph.D.)-University of Pennsylvania.
  • [Bar13] Clark Barwick, From operator categories to topological operads (2013), available at arXiv:1302.5756.
  • [BSP11] Clark Barwick and Christopher Schommer-Pries, On the unicity of the homotopy theory of higher categories (2011), available at arXiv:1112.0040.
  • [Ber02] Clemens Berger, A cellular nerve for higher categories, Adv. Math. 169 (2002), no. 1, 118-175. MR 1916373
  • [Ber07] Clemens Berger, Iterated wreath product of the simplex category and iterated loop spaces, Adv. Math. 213 (2007), no. 1, 230-270. MR 2331244
  • [BR14] Julia E. Bergner and Charles Rezk, Comparison of models for $ (\infty,n)$-categories II (2014), available at arXiv:1406.4182.
  • [Hau14] Rune Haugseng, Iterated spans and ``classical'' topological field theories (2014), available at arXiv:1409.0837.
  • [Hau17] Rune Haugseng, The higher Morita category of $ \Bbb{E}_n$-algebras, Geom. Topol. 21 (2017), no. 3, 1631-1730. MR 3650080,
  • [Hau16] Rune Haugseng, Bimodules and natural transformations for enriched $ \infty$-categories, Homology Homotopy Appl. 18 (2016), no. 1, 71-98. MR 3474202
  • [Lur09a] Jacob Lurie, Higher topos theory, Annals of Mathematics Studies, vol. 170, Princeton University Press, Princeton, NJ, 2009. MR 2522659
  • [Lur09b] Jacob Lurie, ($ \infty$,2)-Categories and the Goodwillie Calculus I (2009), available at
  • [Lur14] Jacob Lurie, Higher Algebra, 2014. Available at
  • [Rez01] Charles Rezk, A model for the homotopy theory of homotopy theory, Trans. Amer. Math. Soc. 353 (2001), no. 3, 973-1007. MR 1804411
  • [Rez10] Charles Rezk, A Cartesian presentation of weak $ n$-categories, Geom. Topol. 14 (2010), no. 1, 521-571. MR 2578310
  • [Web07] Mark Weber, Familial 2-functors and parametric right adjoints, Theory Appl. Categ. 18 (2007), No. 22, 665-732.

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC (2010): 18D05, 55U40

Retrieve articles in all journals with MSC (2010): 18D05, 55U40

Additional Information

Rune Haugseng
Affiliation: Department of Mathematical Sciences, University of Copenhagen, Copenhagen, Denmark

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
Article copyright: © Copyright 2017 Rune Haugseng

American Mathematical Society