Example 13.1.3. For any wide subcategory \(C'\) of an \(\infty \)-category \(C\), we have the adequate triples \((C, C', C^{\simeq })\) and \((C, C^{\simeq }, C')\). In particular, for any \(\infty \)-category \(C\) we always have the adequate triples \((C, C, C^{\simeq })\) and \((C, C^{\simeq }, C)\).

Generated from the authoritative LaTeX source.