Generalising canonical extension to the categorical setting
From MaRDI portal
Publication:714727
DOI10.1016/J.APAL.2012.07.002zbMATH Open1263.03062arXiv1204.3745OpenAlexW2157110814MaRDI QIDQ714727FDOQ714727
Authors: Dion Coumans 
Publication date: 11 October 2012
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Abstract: Canonical extension has proven to be a powerful tool in algebraic study of propositional logics. In this paper we describe a generalization of the theory of canonical extension to the setting of first order logic. We define a notion of canonical extension for coherent categories. These are the categorical analogues of distributive lattices and they provide categorical semantics for coherent logic. We describe a universal property of our construction and show that it generalises the existing notion of canonical extension for distributive lattices. Our new construction for coherent categories has led us to an alternative description of the topos of types, introduced by Makkai in the late seventies. This allows us to give new and transparent proofs of some properties of the action of the topos of types construction on morphisms. Furthermore, we prove a new result relating, for a coherent category, its topos of types to its category of models (in Sets).
Full work available at URL: https://arxiv.org/abs/1204.3745
Recommendations
Cites Work
- Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
- Title not available (Why is that?)
- Categorical logic and type theory
- An extension of the Galois theory of Grothendieck
- Title not available (Why is that?)
- Title not available (Why is that?)
- Boolean Algebras with Operators. Part I
- Model theory.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Canonical extensions and relational completeness of some substructural logics
- Bounded lattice expansions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Formal category theory: Adjointness for 2-categories
- Title not available (Why is that?)
- Two closed categories of filters
- Title not available (Why is that?)
- Conceptual completeness for first-order intuitionistic logic: An application of categorical logic
- Completeness results for intuitionistic and modal logic in a categorical setting
- An application of open maps to categorical logic
- Saturated models of intuitionistic theories
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (16)
- On duality and model theory for polyadic spaces
- Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory
- FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION
- A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
- Title not available (Why is that?)
- A stone-type duality theorem for separation logic via its underlying bunched logics
- Distributive envelopes and topological duality for lattices via canonical extensions.
- Ultrafilters, finite coproducts and locally connected classifying toposes
- Canonical extensions and ultraproducts of polarities
- Title not available (Why is that?)
- Title not available (Why is that?)
- Using rewriting systems to compute left Kan extensions and induced actions of categories
- Type space functors and interpretations in positive logic
- Canonical extensions of locally compact frames
- Title not available (Why is that?)
- Topological duality and algebraic completions
This page was built for publication: Generalising canonical extension to the categorical setting
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q714727)
