Remark 1.4.18. At this point, the pullback only defines \(\Hom _C(x,y)\) as an \(\infty \)-category. The terminology hom anima will be justified after the Rezk axiom: by Proposition 1.4.25, \(\Hom _C(x,y)\) is indeed an anima.
Generated from the authoritative LaTeX source.