A completely distributive lattice is a
in which arbitrary joins and arbitrary meets distribute over each other.
The category of Alexandroff locales is equivalent to that of completely distributive algebraic lattices.
This appears as (Caramello, remark 4.3).
A complete lattice is called constructive completely distributive if the join-assigning morphism $D A \to A$, with $D A$ the poset of downsets. This is equivalent to complete distributivity if and only if the axiom of choice holds; see (WoodFawcett). Constructive completely distributive lattices are an example of continuous algebras for a lax-idempotent 2-monad.
wikipedia, completely distributive lattice
Olivia Caramello, A topos-theoretic approach to Stone-type dualities (arXiv:1103.3493)