paper

An explicit comparison between -complicial sets and -spaces

arXiv:2104.13292

Abstract

We produce a direct Quillen equivalence between two models of -categories: the complete Segal -spaces due to Rezk and the -complicial sets due to Verity.