30 Jan
2023
30 Jan
'23
5:34 p.m.
On 28/01/2023 07:48, Clemens Berger wrote:
How can we characterise ``intrinsically'' toposes that are of the form BG for a complete Galois group G
An observation that I do not know if of any help: What you want is how to characterize a pointed atomic (i.e. connected, locally connected, Boolean) topos p: G ---> Ens such that the morphism lAut(p) ---> Aut(p) is an isomorphism (where lAut is the localic group of automorphism). (recall that this localic group is explicitely constructed in my article "Localic Galois Theory") all the best Eduardo [For admin and other information see: http://www.mta.ca/~cat-dist/ ]