Elementary axioms for local maps of toposes

DOI10.1016/S0022-4049(02)00283-9zbMath1011.18002OpenAlexW2001489982MaRDI QIDQ1861481

Lars Birkedal, Steven Awodey

Publication date: 9 March 2003

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-4049(02)00283-9

zbMATH Keywords

discrete objectsheaflocal map

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Intuitionistic mathematics (03F55) Combinatory logic and lambda calculus (03B40)

Related Items (5)

Doctrines, modalities and comonads ⋮ Realizability Models Separating Various Fan Theorems ⋮ The hyperconnected maps that are local ⋮ Brouwer's fixed-point theorem in real-cohesive homotopy type theory ⋮ Relative and modified relative realizability

Cites Work

• Categorical logic and type theory
• Categories of continuous functors. I
• Local realizability toposes and a modal logic for computability
• Local Maps of Toposes
• Aspects of topoi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Elementary axioms for local maps of toposes