Classification Diagrams of Marked Simplicial Sets
classification
🧮 math.AT
math.CT
keywords
setscategoryclassificationequivalencesmarkedsimplicialbisimplicialcarries
read the original abstract
We prove that the classification diagram functor from the category of marked simplicial sets to the category of bisimplicial sets carries cartesian equivalences to Rezk equivalences. As a corollary, we obtain Mazel-Gee's theorem on localizations of relative $\infty$-categories.
This paper has not been read by Pith yet.
Forward citations
Cited by 1 Pith paper
-
The span-squares adjunction
The span functor from double ∞-categories to ∞-categories admits a right adjoint given by squares, yielding new proofs of equivalences among the Q-, S-, cobordism, and squares models of algebraic K-theory.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.