This work explores connections between modal logic and categorical semantics through presheaves, indicating new perspectives in understanding modalities.
The study of modal logic has witnessed tremendous development following the introduction of Kripke semantics. However, recent developments in programming languages and type theory have led to a second way of studying modalities, namely through their categorical semantics. We show how the two correspond.
No takes yet. Share an insight, caveat, or question.
G. A. Kavvos (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: