has a relative perfect obstruction theory in the sense of [1]} given by
\(\mathbb {T}_{\mathfrak {S}/\mathfrak {M}}\rightarrow \mathbb {E}_{\mathfrak {S}/\mathfrak {M}}\mathbf {R}\pi _{\mathfrak {S}*} \mathrm {ev}_{\mathfrak {S}}^*T_{\mathfrak {Z}/\mathfrak {C}}\text{.}\) 


имеет относительную идеальную теорию препятствий в смысле [1], заданную следующим образом:

\(\mathbb{T}_{\mathfrak{S}/\mathfrak{M}}\rightarrow \mathbb{E}_{\mathfrak{S}/\mathfrak{M}}\mathbf{R}\pi_{\mathfrak{S}*}\mathrm{ev}_{\mathfrak{S}}^*T_{\mathfrak{Z}/\mathfrak{C}}\).