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 !

$\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
    Jun 18, 2013 at 22:13
  • $\begingroup$ I added the [ct.category-theory] tag. $\endgroup$
    – David Roberts
    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
    Jun 18, 2013 at 22:34
  • $\begingroup$ I would if I understood the construction myself! $\endgroup$
    – Zhen Lin
    Jun 18, 2013 at 22:52
  • $\begingroup$ @David, concerning Elephants, contact me. I don't seem to have your current email address. $\endgroup$ Jun 18, 2013 at 23:15

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.