A constructive “Closed subgroup theorem” for localic groups and groupoids
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 30 (1989) no. 1, p. 3-23
@article{CTGDC_1989__30_1_3_0,
     author = {Johnstone, Peter T.},
     title = {A constructive ``Closed subgroup theorem'' for localic groups and groupoids},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {30},
     number = {1},
     year = {1989},
     pages = {3-23},
     zbl = {0668.03028},
     mrnumber = {1000828},
     language = {en},
     url = {http://www.numdam.org/item/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, Volume 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 358725 | Zbl 0246.54028

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

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 698074 | Zbl 0499.54001

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

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 943899 | Zbl 0648.18007

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 756176 | Zbl 0541.18002

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

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

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

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