Abstract
The category-theoretic nature of general frames for modal logic is explored. A new notion of "modal map" between frames is defined, generalizing the usual notion of bounded morphism/p-morphism. The category Fm of all frames and modal maps has reflective subcategories CHFm of compact Hausdorff frames, DFm of descriptive frames, and UEFm of ultrafilter enlargements of frames. All three subcategories are equivalent, and are dual to the category of modal algebras and their homomorphisms.
An important example of a modal map that is typically not a bounded morphism is the natural insertion of a frame A into its ultrafilter enlargement EA. This map is used to show that EA is the free compact Hausdorff frame generated by A relative to Fm. The monad E of the resulting adjunction is examined and its Eilenberg-Moore category is shown to be isomorphic to CHFm. A categorical equivalence between the Kleisli category of E and UEFm is defined from a construction that assigns to each frame A a frame A* that is "image-closed" in the sense that every point-image {b : aRb} in A is topologically closed. A* is the unique image-closed frame having the same ultrafilter enlargement as A.
These ideas are connected to a category 2U shown by S. K. Thomason to be dual to the category of complete and atomic modal algebras and their homomorphisms. 2U is the full subcategory of the Kleisli category of E based on the Kripke frames.
Similar content being viewed by others
References
BARR, M., and C. WELLS, Toposes. Triples and Theories, Springer-Verlag, 1985.
BORCEUX, P., Handbook of Categorical Algebra 1. Basic Category Theory, Cambridge University Press, 1994.
BORCEUX, P., Handbook of Categorical Algebra 2. Categories and Structures, Cambridge University Press, 1994.
EILENBERG, S., and J. C. MOORE, ‘Adjoint functors and triples’, Illinois J. Math. 9 (1965), 381–398.
GOLDBLATT, R., Metamathematics of Modal Logic, PhD thesis, Victoria University, Wellington, February 1974. Included in [6].
GOLDBLATT, R., Mathematics of Modality, CSLI Lecture Notes No. 43. CSLI Publications, Stanford, California, 1993. Distributed by Chicago University Press.
KLEISLI, H., ‘Every standard construction is induced by a pair of adjoint functors’, Proc. Amer. Math. Soc. 16 (1965), 544–546.
MAC LANE, S., Categories for the Working Mathematician, Springer-Verlag, 1971.
THOMASON, S.K., ‘Categories of frames for modal logic’, The Journal of Symbolic Logic 40 (1975), 439–442.
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to the memory of Willem Johannes Blok
Rights and permissions
About this article
Cite this article
Goldblatt, R. Maps and Monads for Modal Frames. Stud Logica 83, 309–331 (2006). https://doi.org/10.1007/s11225-006-8306-4
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/s11225-006-8306-4