Elementary axioms for local maps of toposes
From MaRDI portal
Publication:1861481
DOI10.1016/S0022-4049(02)00283-9zbMath1011.18002OpenAlexW2001489982MaRDI QIDQ1861481
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
Categorical logic, topoi (03G30) Topoi (18B25) Intuitionistic mathematics (03F55) Combinatory logic and lambda calculus (03B40)
Related Items
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