Maps and monads for modal frames (Q2433103)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Maps and monads for modal frames |
scientific article |
Statements
Maps and monads for modal frames (English)
0 references
27 October 2006
0 references
This paper seeks to clarify the category-theoretic nature of the relational structures (frames) that are used in the semantics of propositional modal logic. A new notion of ``modal map'' between frames is defined, generalizing the usual notion of bounded morphism/p-morphism.
0 references
modal map
0 references
bounded morphism
0 references
descriptive frame
0 references
equivalence of categories
0 references
duality
0 references
reflective subcategory
0 references
monad
0 references
Kleisli category
0 references
