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

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s