Axiom F (Rezk axiom). For every \(\infty \)-category \(C\) the functor \(i\colon C \to \Iso (C)\) is an equivalence.
Generated from the authoritative LaTeX source.
Axiom F (Rezk axiom). For every \(\infty \)-category \(C\) the functor \(i\colon C \to \Iso (C)\) is an equivalence.
Generated from the authoritative LaTeX source.