3
$\begingroup$

Hello !

If I'm not mistaken, an atomic topos decompose as a disjoint sum of connected atomic topos, and Connected Atomic topos with a point corresponds to classifying topos of localic groups.

But what about conected atomic topos without point ? do we know what they look like ?

I actually know no example of these non-spatial atomic topos. So if a 'classification' of them is not possible, any example will already be interesting.

Thank you !

Improve this question
$\endgroup$
5
  • 2
    $\begingroup$ There is an example of a pointless connected atomic topos: see Example 3.4.14 in [Sketches of an elephant, Part D]. $\endgroup$
    – Zhen Lin
    Commented Jun 18, 2013 at 22:13
  • $\begingroup$ I added the [ct.category-theory] tag. $\endgroup$
    – David Roberts ♦
    Commented Jun 18, 2013 at 22:33
  • $\begingroup$ @Zhen - why not add that as an answer, or even better, write it out? Not everyone has access to the Elephant (it does cost a small fortune after all). $\endgroup$
    – David Roberts ♦
    Commented Jun 18, 2013 at 22:34
  • $\begingroup$ I would if I understood the construction myself! $\endgroup$
    – Zhen Lin
    Commented Jun 18, 2013 at 22:52
  • $\begingroup$ @David, concerning Elephants, contact me. I don't seem to have your current email address. $\endgroup$
    – Urs Schreiber
    Commented Jun 18, 2013 at 23:15

0

Reset to default

You must log in to answer this question.

Browse other questions tagged .