A categorical account of the localic closed subgroup theorem
Commentationes Mathematicae Universitatis Carolinae (2007)
- Volume: 48, Issue: 3, page 541-553
- ISSN: 0010-2628
Access Full Article
topAbstract
topHow to cite
topReferences
top- Isbell J.R., Atomless parts of spaces, Math. Scand. 31 (1972), 5-32. (1972) Zbl0246.54028MR0358725
- Johnstone P.T., Stone Spaces, Cambridge Studies in Advanced Mathematics 3, Cambridge University Press, Cambridge, 1982. Zbl0586.54001MR0698074
- Johnstone P.T., Vickers S.J., Preframe presentations present, in: Carboni, Pedicchio and Rosolini (Eds.), Category Theory (Como, 1990); Springer Lecture Notes in Mathematics 1488, Springer, Berlin, 1991, pp.193-212. Zbl0764.18004MR1173013
- Johnstone P.T., Sketches of an Elephant: A Topos Theory Compendium, Vols 1, 2, Oxford Logic Guides 43, 44, Oxford Science Publications, Oxford, 2002. Zbl1071.18002MR1953060
- Joyal A., Tierney M., An extension of the Galois theory of Grothendieck, Memoirs of the American Mathematical Society 309, 1984. Zbl0541.18002MR0756176
- Isbell J.R., Kříž I., Pultr A., Rosický J., Remarks on localic groups, in: Categorical Algebra and its Applications, (ed. F. Borceux), Lecture Notes in Mathematics 1349, Springer, Berlin, 1988, pp.154-172. MR0975968
- MacLane S., Categories for the Working Mathematician, Graduate Texts in Mathematics 5, Springer, New York-Berlin, 1971. Zbl0705.18001MR1712872
- Townsend C.F., Vickers S.J., A universal characterization of the double power locale, Theoret. Comput. Sci. 316 (2004), 297-321. (2004) MR2074935
- Townsend C.F., An axiomatic account of weak localic triquotient assignments, J. Pure Appl. Algebra, to appear.
- Townsend C.F., A categorical account of the Hofmann-Mislove theorem, Math. Proc. Cambridge Philos. Soc. 139 (2005), 441-456. (2005) Zbl1104.06008MR2177170
- Vickers S.J., Topology via Logic, Cambridge Tracts in Theoretical Computer Science 5, Cambridge University Press, Cambridge, 1989. Zbl0922.54002MR1002193