A co-free construction for elementary doctrines

DOI10.1007/S10485-013-9358-ZMaRDI QIDQ2254598zbMATH OpenOpenAlexFDO

Authors Fabio Pasquali

Publication date 5 February 2015

Published in Applied Categorical Structures (Search for Journal in Brave)

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

zbMATH Keywords

hyperdoctrinesquotient completion

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25)

Abstract: We provide a co-free construction which adds elementary structure to a primary doctrine. We show that the construction preserves comprehensions and all the logical operations which are in the starting doctrine, in the sense that it maps a first order many-sorted theory into a the same theory formulated with equality. As a corollary it forces an implicational doctrine to have an extentional entailment.

Recommendations

• Elementary doctrines as coalgebras
• Categories of partial equivalence relations as localizations
• Elementary quotient completion
• A characterization of generalized existential completions
• scientific article; zbMATH DE number 4002342

Cites work

• A characterization of the left exact categories whose exact completions are toposes
• A minimalist two-level foundation for constructive mathematics
• Adjointness in Foundations
• Categorical logic and type theory
• Elementary quotient completion
• Facets of descent. I
• Facets of descent. II
• Facets of descent. III: Monadic descent for rings and algebras
• scientific article; zbMATH DE number 3794304 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3346618 (Why is no real title available?)
• scientific article; zbMATH DE number 3370546 (Why is no real title available?)
• La logique des topos
• Quotient completion for the foundation of constructive mathematics
• Realizability. An introduction to its categorical side
• Regular and exact completions
• Tripos theory
• Tripos theory in retrospect

Cited in

(9)

• On a generalization of equilogical spaces
• Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
• Elementary doctrines as coalgebras
• Unifying exact completions
• Adding a constant and an axiom to a doctrine
• Logical foundations of quantitative equality
• Quantifier-free formulas and quantifier alternation depth in doctrines
• Biased elementary doctrines and quotient completions
• Quantitative equality in substructural logic via Lipschitz doctrines

This page was built for publication: A co-free construction for elementary doctrines

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