Logic, sheaves, and factorization systems

DOI10.2307/2275101zbMath0790.18002OpenAlexW2007099131MaRDI QIDQ4276025

G. P. Monro

Publication date: 26 June 1994

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275101

zbMATH Keywords

higher-order logicsheavesaxiomatizationfactorization systemcategorical logiccompleteness proofstopoicompleteness theoremsfirst- order logicLawvere-Tierney topologyEM-categorieslogic of categoriesnear-topoi

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32)

Related Items (1)

Maps. I: Relative to a factorisation system

Cites Work

• Bicategories of spans and relations
• Quasitopoi, logic and Heyting-valued models

This page was built for publication: Logic, sheaves, and factorization systems