An equivalence between infinity category consists of: A pair of infinity categories A,B A pair of functors f:B→A, g:A→B A pair of natural isomorphisms η:idA≅gf, ε:fg≅idB Write A≃B.