Maps and monads for modal frames (Q2433103)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 5068037
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Maps and monads for modal frames |
scientific article; zbMATH DE number 5068037 |
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
0.7926393151283264
0 references
0.775242030620575
0 references
0.7660314440727234
0 references
0.7638097405433655
0 references
0.7576799988746643
0 references
