Constructive Complete Distributivity III

DOI10.4153/CMB-1992-070-6zbMath0760.06005OpenAlexW2327816003MaRDI 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

zbMATH Keywords

constructively completely distributive latticesgeometric morphismsdirect images of local homeomorphisms

Mathematics Subject Classification ID

Complete distributivity (06D10) Topoi (18B25) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Related Items

Constructive complete distributivity. IV, The general theory of diads, A basic distributive law