A characterization of generalized existential completions

DOI10.1016/j.apal.2022.103234zbMath1506.18008OpenAlexW4312008285MaRDI QIDQ2683780

Davide Trotta, Maria Emilia Maietti

Publication date: 15 February 2023

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

Full work available at URL: https://doi.org/10.1016/j.apal.2022.103234

zbMATH Keywords

exact completiontriposexistential doctrineexistential free element

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Fibered categories (18D30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categorical semantics of formal languages (18C50)

Related Items

Dialectica principles via Gödel doctrines ⋮ On categorical structures arising from implicative algebras: from topology to assemblies

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quotient completion for the foundation of constructive mathematics
• The modified realizability topos
• Realizability. An introduction to its categorical side
• Categories of partial maps
• Projective and supercoherent frames
• Monads and algebras in the semantics of partial data types
• Categorical logic and type theory
• Regular and exact completions
• Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
• Some free constructions in realizability and proof theory
• Dialectica logical principles
• Elementary doctrines as coalgebras
• Unifying exact completions
• Factorization systems and fibrations
• Elementary quotient completion
• Tripos theory in retrospect
• All realizability is relative
• Tripos theory
• Adjointness in Foundations
• The existential completion
• Relating Quotient Completions via Categorical Logic
• Dialectica logical principles: not only rules
• Logic and structure
• Restriction categories. I: Categories of partial maps