nLab equivalence in an (infinity,1)-category



(,1)(\infty,1)-Category theory

Equality and Equivalence



For CC a quasi-category, a morphism f:xyf : x \to y in CC (an edge in the underlying simplicial set) is an equivalence if its image in the homotopy category Ho(C)Ho(C) is an isomorphism.

Equivalently, ff is an equivalence if it is the image of a functor of quasi-categories (i.e. a map of simplicial sets) out of the nerve N(J)N(J), where JJ is the interval groupoid. This is a quasi-categorical version of the general theorem-schema in higher category theory that any equivalence can be improved to an adjoint equivalence.

Last revised on August 5, 2020 at 16:38:11. See the history of this page for a list of all contributions to it.