Answer by Dmitri Pavlov for A complex version of the Cahiers topos
This has already been done, see the article EFC-algebra and references therein.In particular, the paper of Pridham constructs the topos of ∞-sheaves on the site of (derived) Stein spaces and explores...
View ArticleA complex version of the Cahiers topos
Has anyone tried defining a complex version of the Cahiers topos?If we take the definition of $C^\infty$-rings, replace "smooth" with "holomorphic" (of course, one has to take care to replace the...
View Article