On a generalization of equilogical spaces
From MaRDI portal
Publication:1653553
DOI10.1007/S11787-018-0192-9zbMath1456.03110OpenAlexW2798163757WikidataQ130001327 ScholiaQ130001327MaRDI QIDQ1653553
Publication date: 6 August 2018
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-018-0192-9
Categorical logic, topoi (03G30) Topoi (18B25) Categorical semantics of formal languages (18C50) Categories of topological spaces and continuous mappings (18F60) Frames and locales, pointfree topology, Stone duality (18F70)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness
- Quotient completion for the foundation of constructive mathematics
- Triposes, q-toposes and toposes
- A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms
- Realizability. An introduction to its categorical side
- Locally cartesian closed exact completions
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
- Equilogical spaces
- A co-free construction for elementary doctrines
- Unifying exact completions
- Elementary quotient completion
- Tripos theory in retrospect
- Injectivity in the Topos of Complete Heyting Algebra Valued Sets
- Tripos theory
- Relating Quotient Completions via Categorical Logic
This page was built for publication: On a generalization of equilogical spaces