Topoi with complex subobject classifiers.

Random idea:

Start with a topos G, from it, create an (extended? amplified? complex?) \bar{G} such that
the subobject classifer \Omega_{\bar{G}} of \bar{G} can take any value in the unit disc on the complex
plane.

Advertisements