Constructive Complete Distributivity III
From MaRDI portal
Publication:4024833
DOI10.4153/CMB-1992-070-6zbMath0760.06005MaRDI QIDQ4024833
Robert D. Rosebrugh, Richard J. Wood
Publication date: 16 February 1993
Published in: Canadian Mathematical Bulletin (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.4153/cmb-1992-070-6
constructively completely distributive lattices; geometric morphisms; direct images of local homeomorphisms
06D10: Complete distributivity
18B25: Topoi
18B35: Preorders, orders, domains and lattices (viewed as categories)
Related Items