On a generalization of equilogical spaces

DOI10.1007/S11787-018-0192-9zbMath1456.03110OpenAlexW2798163757WikidataQ130001327 ScholiaQ130001327MaRDI QIDQ1653553

Fabio Pasquali

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

zbMATH Keywords

partial equivalence relationsequilogical spacestriposes

Mathematics Subject Classification ID

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)

A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus

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