| Title:
|
A categorical account of the localic closed subgroup theorem (English) |
| Author:
|
Townsend, Christopher |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
48 |
| Issue:
|
3 |
| Year:
|
2007 |
| Pages:
|
541-553 |
| . |
| Category:
|
math |
| . |
| Summary:
|
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. (English) |
| Keyword:
|
locale |
| Keyword:
|
power locale |
| Keyword:
|
Hofmann-Mislove theorem |
| Keyword:
|
closed subgroup |
| Keyword:
|
compact locale |
| Keyword:
|
fitted sublocale |
| Keyword:
|
categorical logic |
| MSC:
|
06D22 |
| MSC:
|
06D50 |
| MSC:
|
18B30 |
| MSC:
|
18B40 |
| MSC:
|
54B20 |
| MSC:
|
54B30 |
| idZBL:
|
Zbl 1199.06039 |
| idMR:
|
MR2374933 |
| . |
| Date available:
|
2009-05-05T17:04:36Z |
| Last updated:
|
2012-05-01 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/119678 |
| . |
| Reference:
|
[I72] Isbell J.R.: Atomless parts of spaces.Math. Scand. 31 (1972), 5-32. Zbl 0246.54028, MR 0358725 |
| Reference:
|
[J82] Johnstone P.T.: Stone Spaces.Cambridge Studies in Advanced Mathematics 3, Cambridge University Press, Cambridge, 1982. Zbl 0586.54001, MR 0698074 |
| Reference:
|
[JV91] 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. Zbl 0764.18004, MR 1173013 |
| Reference:
|
[J02] Johnstone P.T.: Sketches of an Elephant: A Topos Theory Compendium.Vols 1, 2, Oxford Logic Guides 43, 44, Oxford Science Publications, Oxford, 2002. Zbl 1071.18002, MR 1953060 |
| Reference:
|
[JT84] Joyal A., Tierney M.: An extension of the Galois theory of Grothendieck.Memoirs of the American Mathematical Society 309, 1984. Zbl 0541.18002, MR 0756176 |
| Reference:
|
[IKPR] 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. MR 0975968 |
| Reference:
|
[MacL71] MacLane S.: Categories for the Working Mathematician.Graduate Texts in Mathematics 5, Springer, New York-Berlin, 1971. Zbl 0705.18001, MR 1712872 |
| Reference:
|
[TV02] Townsend C.F., Vickers S.J.: A universal characterization of the double power locale.Theoret. Comput. Sci. 316 (2004), 297-321. MR 2074935 |
| Reference:
|
[T04] Townsend C.F.: An axiomatic account of weak localic triquotient assignments.J. Pure Appl. Algebra, to appear. |
| Reference:
|
[T05] Townsend C.F.: A categorical account of the Hofmann-Mislove theorem.Math. Proc. Cambridge Philos. Soc. 139 (2005), 441-456. Zbl 1104.06008, MR 2177170 |
| Reference:
|
[V89] Vickers S.J.: Topology via Logic.Cambridge Tracts in Theoretical Computer Science 5, Cambridge University Press, Cambridge, 1989. Zbl 0922.54002, MR 1002193 |
| . |
