Page 108 - Textos de Matemática Vol. 41
P. 108

94 Bibliography
[12] B. Banaschewski and J.C.C. Vermeulen, On the completeness of localic
groups, Comment. Math. Univ. Carolinae 40 (1999) 293–307.
[13] J. B´enabou, Treillis locaux et paratopologies, S´eminaire Ehresmann (1re
ann´ee, expos´e 2, Paris 1958).
[14] F. Borceux, Handbook of Categorical Algebra, Encyclopedia of Mathematics and its Applications 52 (Cambridge University Press, Cambridge 1994).
[15] N. Bourbaki, E´l´ements de Math´ematique: Topologie G´en´erale (Hermann, Paris, 1966).
[16] G. Bruns, Darstellungen und Erweiterungen geordneter Mengen II, J. fu¨r Math. 210 (1962) 1–23.
[17] C. Caratheodory, U¨ ber die Begrenzung einfach zusamenh¨angender Gebiete, Math. Annalen 73 (1913).
[18] B. A. Davey and H. A. Priestley, Introduction to Lattices and Order, 2nd Ed. (Cambridge University Press, Cambridge 2002).
[19] C. H. Dowker and D. Strauss, Quotient frames and subspaces, Proc. London Math. Soc. 16 (1966) 275–296.
[20] C.H. Dowker and D. Strauss, Separation axioms for frames, Colloq. Mat. Soc. J. Bolyai 8 (1972) 223–240.
[21] C. H. Dowker and D. Strauss, Sums in the category of frames, Houston J. Math. 3 (1977) 7–15.
[22] C. Ehresmann, Gattungen von lokalen Strukturen, Jber. Deutsch. Math. Verein 60 (1957) 59–77.
[23] R. Engelking, General Topology, Sigma Series in Pure Mathematics 6 (Hel- dermann Verlag, Berlin, 1989).
[24] M. Ern´e, Adjunctions and Galois Connections: Origins, History and Devel- opment, in: K. Denecke, M. Ern´e and S. L. Wismath (Eds.), Galois Con- nections and Applications, Kluwer, 2004, pp. 1–138.
[25] M. Ern´e, M. Gehrke and A. Pultr, Complete congruences on topologies and down-set lattices, Appl. Categ. Structures 15 (2007) 163–184.
[26] P.J. Freyd and A. Scedrov, Categories, Allegories (North-Holland, Ams- terdam, 1990).
[27] F. Hausdorff, Grundzu¨ge der Mengenlehre (Veit & Co., Leipzig, 1914).
[28] K. H. Hofmann and J. D. Lawson, The spectral theory of distributive con- tinuous lattices, Trans. Amer. Math. Soc. 246 (1978) 285–310.















































































   106   107   108   109   110