Constructive complete distributivity. I
From MaRDI portal
Publication:3469144
DOI10.1017/S0305004100068377zbMath0694.06008OpenAlexW3163307291MaRDI QIDQ3469144
Barry Fawcett, Richard J. Wood
Publication date: 1990
Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0305004100068377
Related Items
Constructive complete distributivity. IV ⋮ Completely distributive enriched categories are not always continuous ⋮ The spectrum of a localic semiring ⋮ Information systems for continuous posets ⋮ Saturated models of intuitionistic theories ⋮ A four for the price of one duality principle for distributive spaces ⋮ The rise and fall of \(V\)-functors ⋮ Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories ⋮ Totally distributive toposes ⋮ Tameness in generalized metric structures ⋮ Unnamed Item ⋮ Bifibrational functorial semantics of parametric polymorphism ⋮ A duality of quantale-enriched categories ⋮ Stably locally compact locales are dual to continuous posets ⋮ Regularity vs. constructive complete (co)distributivity ⋮ On the Logic of Generalised Metric Spaces ⋮ The general theory of diads ⋮ An Adjoint Characterization of the Category of Sets ⋮ Hausdorff coalgebras ⋮ A basic distributive law ⋮ Extending set functors to generalised metric spaces
Cites Work
- Unnamed Item
- Unnamed Item
- The category of Z-continuous posets
- Continuous posets and adjoint sequences
- Yoneda structures on 2-categories
- Distributivität und subdirekte Zerlegbarkeit vollständiger Verbände
- Tight Galois Connections and Complete Distributivity
- Filter Monads, Continuous Lattices and Closure Systems
- Axiom of Choice and Complementation
- Generalization of Continuous Posets
- Completely Distributive Complete Lattices
- A Subdirect-Union Representation for Completely Distributive Complete Lattices
This page was built for publication: Constructive complete distributivity. I
