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.
arXiv:2104.13292
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.