Example 1.1.7. Every classical category \(C\) defines an \(\infty \)-category, whose anima of objects is the groupoid core \(C^{\simeq }\) from Example 1.1.5, and whose hom animae are the hom sets of \(C\).
Generated from the authoritative LaTeX source.