- On monotone modalities and adjointness
- Mathematical Structures in Computer Science
- Pages (from-to)
- Document type
- Interfacultary Research Institutes
- Institute for Logic, Language and Computation (ILLC)
We fix a logical connection (Stone ˧ Pred : Setop → BA given by 2 as a schizophrenic object) and study coalgebraic modal logic that is induced by a functor T: Set → Set that is finitary and standard and preserves weak pullbacks and finite sets. We prove that for any such T, the cover modality nabla is a left (and its dual delta is a right) adjoint relative to ω. We then consider monotone unary modalities arising from the logical connection and show that they all are left (or right) adjoints relative to ω.
- go to publisher's site
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.