Recent foundational work by Ben-Bassat, Kelly, and Kremnitzer describes a model for derived analytic geometry as homotopical geometry relative to the infinity category of simplicial commutative complete bornological rings. In this talk, Rhiannon Savage will discuss a representability theorem for derived stacks in these contexts and will set out some new foundations for derived smooth geometry. Rhiannon will also briefly discuss the representability of the derived moduli stack of non-linear elliptic partial differential equations by an object we call a derived C∞-bornological affine scheme.
