10 years later...

 

This is finally finished:

A Perspective on the Foundations of Derived Analytic Geometry

Oren Ben-Bassat, Jack Kelly, Kobi Kremnizer

https://arxiv.org/abs/2405.07936