Doctrines, modalities and comonads

DOI10.1017/S0960129521000207zbMath1498.18025arXiv2107.14031OpenAlexW3201251067MaRDI QIDQ5068204

Francesco Dagnino, Giuseppe Rosolini

Publication date: 5 April 2022

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2107.14031

zbMATH Keywords

linear logicadjunctiontemporal logicscomonadmodal operatordoctrine

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Categorical aspects of linear logic (18M45)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quotient completion for the foundation of constructive mathematics
• Intuitionistic logic and modality via topology
• Fundamental properties of infinite trees
• Two-dimensional monad theory
• A topos-theoretic approach to reference and modality
• Sheaves in geometry and logic: a first introduction to topos theory
• Categorical logic and type theory
• Some properties of Fib as a fibred \(2\)-category
• Infinite trees and completely iterative theories: A coalgebraic view
• Combining a monad and a comonad
• Elementary axioms for local maps of toposes
• Elementary doctrines as coalgebras
• Unifying exact completions
• The formal theory of monads
• Elementary quotient completion
• Topos Semantics for Higher-Order Modal Logic
• Local realizability toposes and a modal logic for computability
• Monoidal Grothendieck construction
• Adjointness in Foundations
• Algebras, Coalgebras, Monads and Comonads

This page was built for publication: Doctrines, modalities and comonads