Page 228 - Textos de Matemática Vol. 46

218 D. HOFMANN AND P. NORA
References
[1] Barr, M. (1970), Relational algebras, in Reports of the Midwest Category Seminar, IV, pages 39–55, Lecture Notes in Mathematics, Vol. 137. Springer, Berlin.
[2] Bezhanishvili, G., editor (2014), Leo Esakia on duality in modal and intuitionistic logics, Dordrecht: Springer, xiii + 334 pages.
[3] Bezhanishvili, G., Bezhanishvili, N. and Harding, J. (2012), Modal compact Hausdor↵ spaces, Journal of Logic and Computation, to appear.
[4] Bezhanishvili, G. and Jansana, R. (2013), Esakia style duality for implicative semilat- tices, Appl. Categ. Struct. 21 (2), 181–208.
[5] Blackburn, P., de Rijke, M. and Venema, Y. (2001), Modal logic, Cambridge: Cambridge University Press, xxii + 554 pages.
[6] Borceux, F. and Dejean, D. (1986), Cauchy completion in category theory, Cahiers Topologie G´eom. Di↵´erentielle Cat´eg. 27 (2), 133–146.
[7] Bru¨mmer, G. C. L., Giuli, E. and Herrlich, H. (1992), Epireflections which are comple- tions, Cahiers Topologie G´eom. Di↵´erentielle Cat´eg. 33 (1), 71–93.
[8] Cignoli, R., Lafalce, S. and Petrovich, A. (1991), Remarks on Priestley duality for dis- tributive lattices, Order 8 (3), 299–315.
[9] Clementino, M. M. and Hofmann, D. (2004), On extensions of lax monads, Theory Appl. Categ. 13, No. 3, 41–60.
[10] Cornish, W. H. (1975), On H. Priestley’s dual of the category of bounded distributive lattices, Mat. Vesn., N. Ser. 12, 329–332.
[11] Davey, B. A. and Galati, J. C. (2003), A coalgebraic view of Heyting duality, Studia Logica 75 (3), 259–270.
[12] Day, A. (1975), Filter monads, continuous lattices and closure systems, Canad. J. Math. 27, 50–59.
[13] Doˇsen, K. (1990), Normal modal logics in which the Heyting propositional calculus can be embedded, in Mathematical logic. Proceedings of the summer school and conference dedicated to the ninetieth anniversary of Arend Heyting (1898-1980), held in Chaika, Bulgaria, September 13-23, 1988, pages 281–291, New York: Plenum Press.
[14] Engelking, R. (1989), General topology, volume 6 of Sigma Series in Pure Mathematics, Heldermann Verlag, Berlin, second edition, viii+529 pages, translated from the Polish by the author.
[15] Esakia, L. (1974), Topological Kripke models, Dokl. Akad. Nauk SSSR 214, 298–301.
[16] Escard´o, M. H. (1997), Injective spaces via the filter monad, in Proceedings of the 12th Summer Conference on General Topology and its Applications (North Bay, ON, 1997),
volume 22, pages 97–100.
[17] Escard´o, M. H. (1998), Properly injective spaces and function spaces, Topology Appl.
89 (1-2), 75–120.
[18] Fawcett, B. and Wood, R. J. (1990), Constructive complete distributivity. I, Math. Proc.
Cambridge Philos. Soc. 107 (1), 81–89.
[19] Fleisher, I. (2000), Priestley’s duality from Stone’s., Adv. Appl. Math. 25 (3), 233–238.
[20] Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M. W. and Scott, D. S.
(1980), A compendium of continuous lattices, Springer-Verlag, Berlin, xx+371 pages.
[21] Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M. W. and Scott, D. S. (2003), Continuous lattices and domains, volume 93 of Encyclopedia of Mathematics
and its Applications, Cambridge University Press, Cambridge, xxxvi+591 pages.