On categorical structures arising from implicative algebras: from topology to assemblies
From MaRDI portal
Publication:6145036
DOI10.1016/j.apal.2023.103390arXiv2306.04534OpenAlexW4388819153MaRDI QIDQ6145036
Samuele Maschio, Davide Trotta
Publication date: 8 January 2024
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2306.04534
Categorical logic, topoi (03G30) Topoi (18B25) Frames, locales (06D22) Theories (e.g., algebraic theories), structure, and semantics (18C10) Combinatory logic and lambda calculus (03B40)
Cites Work
- Unnamed Item
- Unnamed Item
- The modified realizability topos
- Realizability. An introduction to its categorical side
- Projective and supercoherent frames
- Regular and exact completions
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
- Characterizing partitioned assemblies and realizability toposes
- Relative and modified relative realizability
- Some free constructions in realizability and proof theory
- Unifying exact completions
- Models of intuitionistic set theory in subtoposes of nested realizability toposes
- A characterization of generalized existential completions
- Ordered combinatory algebras and realizability
- Frames and Locales
- Tripos theory in retrospect
- Colimit completions and the effective topos
- ABOUT MODEST SETS
- All realizability is relative
- Tripos theory
- Implicative algebras: a new foundation for realizability and forcing
- Krivine's classical realisability from a categorical perspective
This page was built for publication: On categorical structures arising from implicative algebras: from topology to assemblies