A constructive “Closed subgroup theorem” for localic groups and groupoids
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 30 (1989) no. 1, pp. 3-23. 
@article{CTGDC_1989__30_1_3_0,
     author = {Johnstone, Peter T.},
     title = {A constructive {{\textquotedblleft}Closed} subgroup theorem{\textquotedblright} for localic groups and groupoids},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {3--23},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {30},
     number = {1},
     year = {1989},
     mrnumber = {1000828},
     zbl = {0668.03028},
     language = {en},
     url = {http://www.numdam.org/item/CTGDC_1989__30_1_3_0/}
}
TY  - JOUR
AU  - Johnstone, Peter T.
TI  - A constructive “Closed subgroup theorem” for localic groups and groupoids
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 1989
SP  - 3
EP  - 23
VL  - 30
IS  - 1
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://www.numdam.org/item/CTGDC_1989__30_1_3_0/
LA  - en
ID  - CTGDC_1989__30_1_3_0
ER  - 
%0 Journal Article
%A Johnstone, Peter T.
%T A constructive “Closed subgroup theorem” for localic groups and groupoids
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 1989
%P 3-23
%V 30
%N 1
%I Dunod éditeur, publié avec le concours du CNRS
%U http://www.numdam.org/item/CTGDC_1989__30_1_3_0/
%G en
%F CTGDC_1989__30_1_3_0
Johnstone, Peter T. A constructive “Closed subgroup theorem” for localic groups and groupoids. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 30 (1989) no. 1, pp. 3-23. http://www.numdam.org/item/CTGDC_1989__30_1_3_0/

1 J.R. Isbell, Atomless parts of spaces, Math. Scand. 31 (1972), 5-32. | MR | Zbl

2 J.R. Isbell, I. Kriz, A. Pultr & J. Rosicky, Remarks on localic groups, Lecture Notes in Math. 1348, Springer (1988), 154. | MR | Zbl

3 I.M. James, Fibrewise Topology. Book in preparation.

4 P.T. Johnstone, Stone spaces. Cambridge Studies in Advanced Math. n° 3, Cambridge Univ. Press 1983. | MR | Zbl

5 P.T. Johnstone, The point of pointless topology, Bull. A. M. S. (N.S.) 8 (1983), 41-53. | MR | Zbl

6 P.T. Johnstone, A simple proof that localic subgroups are closed, Cahiers Top. et Géom. Diff. Catég. XXIX (1988), 157-161. | Numdam | MR | Zbl

7 P.T. Johnstone, A constructive theory of uniform locales, In preparation.

8 A. Joyal & M. Tierney, An extension of the Galois theory of Grothendieck, Mem. A.M.S. 309 (1984). | MR | Zbl

9 A. Kock, A Godement Theorem for locales, Math. Proc. Camb. Philos. Soc. (to appear). | Zbl

10 I. Moerdijk, The classifying topos of a continuous groupoid, I. Trans. A.M.S. (to appear). | MR | Zbl

11 I. Moerdijk, The classifying topos of a continuous groupoid, II. (To appear). | Numdam | MR | Zbl

12 I. Moerdijk, Toposes and groupoids, Lecture Notes in Math.. 1348, Springer (1988), 280-298. | MR | Zbl