Abstract
Abstract
Doctrines are categorical structures very apt to study logics of different nature within a unified environment: the 2-category Dtn of doctrines. Modal interior operators are characterised as particular adjoints in the 2-category Dtn. We show that they can be constructed from comonads in Dtn as well as from adjunctions in it, and we compare the two constructions. Finally we show the amount of information lost in the passage from a comonad, or from an adjunction, to the modal interior operator. The basis for the present work is provided by some seminal work of John Power.
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Reference30 articles.
1. On local adjointness of distributive bicategories;Betti;Bollettino della Unione Matematica Italiana,1988
2. Intuitionistic logic and modality via topology
3. Monoidal Grothendieck Construction;Moeller;Theory and Applications of Categories,2020
4. Fundamental properties of infinite trees
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Logical Foundations of Quantitative Equality;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02