Sheaves over Heyting lattices

DOI10.1007/BF00394444zbMath0593.03044OpenAlexW2069624637MaRDI QIDQ1076015

Andrzej W. Jankowski, Marek W. Zawadowski

Publication date: 1985

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00394444

zbMATH Keywords

localestoposétale maplocal homeomorphism

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Heyting algebras (lattice-theoretic aspects) (06D20) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Sheaves over Heyting lattices