Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
1 answer
212 views

A 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 ...
xuq01's user avatar
  • 1,094
9 votes
1 answer
804 views

Is the analytification functor part of a geometric morphism of topoi?

Let $Sh(\mathsf{\mathbb{C}-fAlg}^{op})$ be the topos of zariski sheaves on finitely genertaed $\mathbb{C}$-algebras. A complex analytic space for our purpose is a locally ringed space locally ...
Saal Hardali's user avatar
  • 7,789
5 votes
0 answers
158 views

Resources on a smooth topos containing complex analytic/holomorphic geometry

In this question Urs Schreiber mentioned there are models in synthetic differential geometry of complex analytic geometry. First of all: When Urs writes complex analytic geometry, does he mean ...
Georg Lehner's user avatar
  • 2,303