A characterization of generalized existential completions
From MaRDI portal
Publication:2683780
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
Categorical logic, topoi (03G30) Fibered categories (18D30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categorical semantics of formal languages (18C50)
Related Items (2)
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
This page was built for publication: A characterization of generalized existential completions