The category of equilogical spaces and the effective topos as homotopical quotients

DOI10.1007/s40062-016-0161-zzbMath1375.18018arXiv1511.06901OpenAlexW2963097660MaRDI QIDQ504545

Giuseppe Rosolini

Publication date: 17 January 2017

Published in: Journal of Homotopy and Related Structures (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1511.06901

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Combinatory logic and lambda calculus (03B40) Foundations, relations to logic and deductive systems (18A15)

Related Items (3)

Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator ⋮ Categories of partial equivalence relations as localizations ⋮ Univalent polymorphism

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A small complete category
• Regular and exact completions
• Equilogical spaces
• Some free constructions in realizability and proof theory
• Sobriety for equilogical spaces
• Colimit completions and the effective topos
• The Discrete Objects in the Effective Topos
• Tripos theory
• Data Types as Lattices
• Homotopy Type Theory: Univalent Foundations of Mathematics

This page was built for publication: The category of equilogical spaces and the effective topos as homotopical quotients