2 problems

Functoriality conjecture. The right-hand side of this definition is functorial in $C$, so that there is a bifunctor

Let $\mathbf{FS}_{\mathbf{WE}}$ be the full subcategory of Weil-exponentiable Frölicher spaces, let $\mathbf{D}$ be the full subcategory of $\mathcal{C}^{\infty}$-rings whose objec…