Generalising canonical extension to the categorical setting

DOI10.1016/J.APAL.2012.07.002zbMATH Open1263.03062OpenAlexW2157110814MaRDI QIDQ714727FDOQ714727

Authors Dion Coumans 

Publication date 11 October 2012

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

canonical extensioncoherent categoriestopos of types

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Lattices and duality (06D50)

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).

Recommendations

• Boolean topological distributive lattices and canonical extensions
• Ultrafilters, finite coproducts and locally connected classifying toposes
• Topical categories of domains
• A fresh perspective on canonical extensions for bounded lattices.
• Publication:4893207

Cites Work

• scientific article; zbMATH DE number 3836032 (Why is no real title available?)
• scientific article; zbMATH DE number 5289973 (Why is no real title available?)
• scientific article; zbMATH DE number 3941764 (Why is no real title available?)
• scientific article; zbMATH DE number 29051 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3463628 (Why is no real title available?)
• scientific article; zbMATH DE number 3526911 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 697070 (Why is no real title available?)
• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• scientific article; zbMATH DE number 3317800 (Why is no real title available?)
• scientific article; zbMATH DE number 3370546 (Why is no real title available?)
• An application of open maps to categorical logic
• An extension of the Galois theory of Grothendieck
• Boolean Algebras with Operators. Part I
• Bounded lattice expansions
• Canonical extensions and relational completeness of some substructural logics
• Categorical logic and type theory
• Completeness results for intuitionistic and modal logic in a categorical setting
• Conceptual completeness for first-order intuitionistic logic: An application of categorical logic
• Formal category theory: Adjointness for 2-categories
• Model theory.
• Saturated models of intuitionistic theories
• 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
• Two closed categories of filters

Cited In (16)

• On duality and model theory for polyadic spaces
• Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory
• Stone-type dualities for separation logics
• Abstract hidden Markov models: a monadic account of quantitative information flow
• A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
• Title not available (Why is no real title available?)
• 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
• Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation
• Canonical extensions and ultraproducts of polarities
• Title not available (Why is no real title available?)
• 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
• 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)