On the equivalence between _n-spaces and iterated Segal spaces

Abstract: We give a new proof of the equivalence between two of the main models for

(i n f t y, n)

-categories, namely the

n

-fold Segal spaces of Barwick and the

T h e t a_{n}

-spaces of Rezk, by proving that these are algebras for the same monad on the

i n f t y

-category of

n

-globular spaces. The proof works for a broad class of

i n f t y

-categories that includes all

i n f t y

-topoi.

Recommendations

Cites work

Cited in

(12)

This page was built for publication: On the equivalence between \(\Theta _{n}\)-spaces and iterated Segal spaces