Equivalence in an Infinity-Category