Ultrafilters, finite coproducts and locally connected classifying toposes

DOI10.1016/J.APAL.2020.102831zbMATH Open1460.03008arXiv1808.08687OpenAlexW2888076118MaRDI QIDQ2004956FDOQ2004956

Richard Garner

Publication date: 7 October 2020

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

Abstract: We prove a single category-theoretic result encapsulating the notions of ultrafilters, ultrapower, ultraproduct, tensor product of ultrafilters, the Rudin--Kiesler partial ordering on ultrafilters, and Blass's category of ultrafilters UF. The result in its most basic form states that the category FC(Set,Set) of finite-coproduct-preserving endofunctors of Set is equivalent to the presheaf category [UF,Set]. Using this result, and some of its evident generalisations, we re-find in a natural manner the important model-theoretic realisation relation between n-types and n-tuples of model elements; and draw connections with Makkai and Lurie's work on conceptual completeness for first-order logic via ultracategories. As a further application of our main result, we use it to describe a first-order analogue of J'onsson and Tarski's canonical extension. Canonical extension is an algebraic formulation of the link between Lindenbaum--Tarski and Kripke semantics for intuitionistic and modal logic, and extending it to first-order logic has precedent in the topos of types construction studied by Joyal, Reyes, Makkai, Pitts, Coumans and others. Here, we study the closely related, but distinct, construction of the locally connected classifying topos of a first-order theory. The existence of this is known from work of Funk, but the description is inexplicit; ours, by contrast, is quite concrete.

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

zbMATH Keywords

ultrafiltercanonical extensiontopos of typesultracategorylocally connected classifying topos

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Topoi (18B25) Ultraproducts and related constructions (03C20)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Constructivism in mathematics. An introduction. Volume I
• Sheaves in geometry and logic: a first introduction to topos theory
• Boolean Algebras with Operators. Part I
• On a problem of M. H. Stone
• Introduction to bicategories
• Introduction to extensive and distributive categories
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Reduced direct products
• Codensity and the ultrafilter monad
• De Morgan classifying toposes
• A model for intuitionistic non-standard arithmetic
• The cartesian closed bicategory of generalised species of structures
• Two closed categories of filters
• Generalising canonical extension to the categorical setting
• An application of open maps to categorical logic
• Saturated models of intuitionistic theories
• Ultrasheaves and double negation
• The locally connected coclosure of a Grothendieck topos
• Duality and definability in first order logic
• Molecular toposes
• Equational completion, model induced triples and pro-objects
• Lawvere theories, finitary monads and Cauchy-completion
• Stone duality for first order logic
• On Representations of Grothendieck Toposes
• Full Continuous Embeddings of Toposes

Cited In (4)

• Title not available (Why is that?)
• Coproducts and ultrafilters
• Continuous and other finitely generated canonical cofinal maps on ultrafilters
• Ultrafilter and Constructible Topologies on Spaces of Valuation Domains

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Kleisli compositions for topological spaces 👍 👎
• Coproducts and ultrafilters 👍 👎
• Ultrapowers as sheaves on a category of ultrafilters 👍 👎
• A categorical construction of ultrafilters 👍 👎
• Ultrafilter Extensions of Models 👍 👎
• D-ultrafilters and their monads 👍 👎

This page was built for publication: Ultrafilters, finite coproducts and locally connected classifying toposes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2004956)