vix.ing · top · new · best · stats · spec

A Model for the Higher Category of Higher Categories

2018/05/10 by Rasekh, Nima
#Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics

paper · doi:10.48550/arxiv.1805.03816

Abstract

We use fibrations of complete Segal spaces to construct four complete Segal spaces: Reedy fibrant simplicial spaces, Segal spaces, complete Segal spaces, and spaces. Moreover, we show each one comes with a universal fibration that classifies Reedy left fibrations, Segal coCartesian fibrations, coCartesian fibrations and left fibrations and prove these are representable fibrations. Finally, we use equivalences between quasi-categories and complete Segal spaces to present analogous constructions using fibrations of quasi-categories.

Related