Proposition 24.3.4. For objects \(X\) and \(Y\) of \(D\), the hom anima between \(X\) and \(Y\) in \(\Ntop (D)\) is equivalent to the underlying anima of the topological space \(\Homtop _D(X,Y)\): \[ \Hom _{\Ntop (D)}(X,Y) \simeq \Pi _{\infty }(\Homtop _D(X,Y)). \]
Proof. A proof is given in the standalone supplementary material. □
Generated from the authoritative LaTeX source.