[0KEK]
Proposition 2.13 . Let d ≥ − 1 d\geq-1 𝒞 \mathcal{C} ∞ \infty X , Y ∈ 𝒞 X,Y\in\mathcal{C} α \alpha
hom 𝒞 R ( X , Y ) \textstyle{\hom_{\mathcal{C}}^{R}\left(X,Y\right)\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces} β \scriptstyle{\beta} γ \scriptstyle{\gamma} hom h d 𝒞 R ( θ d ( X ) , θ d ( Y ) ) \textstyle{\hom_{h_{d}\mathcal{C}}^{R}\left(\theta_{d}\left(X\right),\theta_{d}\left(Y\right)\right)\ignorespaces\ignorespaces\ignorespaces\ignorespaces} α \scriptstyle{\alpha} ∼ \scriptstyle{\sim} h d − 1 hom 𝒞 R ( X , Y ) , \textstyle{h_{d-1}\hom_{\mathcal{C}}^{R}\left(X,Y\right),}
where β \beta γ \gamma