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