equivalence of infinity-groupoids


Homotopy theory

Equality and Equivalence

An equivalence in an (∞,1)-category in ∞Grpd, hence ann equivalence of (∞,1)-categories between (∞,1)-categories that happen to be ∞-groupoids.

In terms of presentation by topological spaces or simplicial sets (see at homotopy hypothesis) this is a weak homotopy equivalence.

In terms of presentation by CW-complexes or Kan complexes, it is a homotopy equivalence.

Revised on January 8, 2016 05:59:44 by Urs Schreiber (