On categorical structures arising from implicative algebras: from topology to assemblies

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

zbMATH Keywords

implicative algebrasassembliestripos

Mathematics Subject Classification ID

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