Proposition 1.4.25 (Hom animae are animae). Let \(C\) be an \(\infty \)-category and let \(x\) and \(y\) be objects in \(C\). Then the hom anima \(\Hom _C(x,y)\) is indeed an anima.
Generated from the authoritative LaTeX source.
Proposition 1.4.25 (Hom animae are animae). Let \(C\) be an \(\infty \)-category and let \(x\) and \(y\) be objects in \(C\). Then the hom anima \(\Hom _C(x,y)\) is indeed an anima.
Generated from the authoritative LaTeX source.