Geodesic
A categorical account of the localic closed subgroup theorem
Commentationes Mathematicae Universitatis Carolinae, Tome 48 (2007) no. 3, pp. 541-553.

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

Given an axiomatic account of the category of locales the closed subgroup theorem is proved. The theorem is seen as a consequence of a categorical account of the Hofmann-Mislove theorem. The categorical account has an order dual providing a new result for locale theory: every compact subgroup is necessarily fitted.
Classification : 06D22, 06D50, 18B30, 18B40, 54B20, 54B30
Keywords: locale; power locale; Hofmann-Mislove theorem; closed subgroup; compact locale; fitted sublocale; categorical logic 
@article{CMUC_2007__48_3_a12,
     author = {Townsend, Christopher},
     title = {A categorical account of the localic closed subgroup theorem},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {541--553},
     publisher = {mathdoc},
     volume = {48},
     number = {3},
     year = {2007},
     mrnumber = {2374933},
     zbl = {1199.06039},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_2007__48_3_a12/}
}
TY  - JOUR
AU  - Townsend, Christopher
TI  - A categorical account of the localic closed subgroup theorem
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 2007
SP  - 541
EP  - 553
VL  - 48
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CMUC_2007__48_3_a12/
LA  - en
ID  - CMUC_2007__48_3_a12
ER  - 
%0 Journal Article
%A Townsend, Christopher
%T A categorical account of the localic closed subgroup theorem
%J Commentationes Mathematicae Universitatis Carolinae
%D 2007
%P 541-553
%V 48
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CMUC_2007__48_3_a12/
%G en
%F CMUC_2007__48_3_a12
Townsend, Christopher. A categorical account of the localic closed subgroup theorem. Commentationes Mathematicae Universitatis Carolinae, Tome 48 (2007) no. 3, pp. 541-553. http://geodesic.mathdoc.fr/item/CMUC_2007__48_3_a12/