* Preprint: "Ionads"
[not found] <Pine.LNX.4.64.0912102345120.13104@hermes-1.csi.cam.ac.uk>
@ 2009-12-15 4:48 ` Richard Garner
0 siblings, 0 replies; only message in thread
From: Richard Garner @ 2009-12-15 4:48 UTC (permalink / raw)
To: categories
Dear all,
At CT09, I gave a talk on what I then was calling
"generalised topological spaces", and now have named
"ionads". A few people asked if I had anything written down
concerning the content of that talk; this is to say that I
now do. A preprint is available at
http://arxiv.org/abs/0912.1415
An abstract follows.
Richard
---
The notion of Grothendieck topos may be considered as a
generalisation of that of topological space, one in which the
points of the space may have non-trivial automorphisms.
However, the analogy is not precise, since in a topological
space, it is the points which have conceptual priority over
the open sets, whereas in a topos it is the other way around.
Hence a topos is more correctly regarded as a generalised
locale, than as a generalised space. In this note, we
introduce a new notion---that of ionad---which stands in the
same relationship to a topological space as a (Grothendieck)
topos does to a locale. Some basic aspects of the theory are
developed and applications to topology, logic and geometry
are discussed.
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2009-12-15 4:48 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <Pine.LNX.4.64.0912102345120.13104@hermes-1.csi.cam.ac.uk>
2009-12-15 4:48 ` Preprint: "Ionads" Richard Garner
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).