A basic distributive law (Q5960405)

The ``basic'' distributive law referred to in the title occurs in the context of KZ-doctrines on an object \(K\) in an \(ord\)-\(cat\)-category \({\mathcal K}\). To understand the definition of KZ-doctrine the reader needs to be familiar with the work of the last two listed authors on adjoint strings [\textit{R. D. Rosebrugh} and \textit{R. J. Wood}, Theory Appl. Categ. 1, No.~6, 119-145 (1995; Zbl 0854.18004)]. The first part of the article is devoted to a discussion of these doctrines and the distributive laws that arise in this abstract setting. The latter part of the paper focuses on a fundamental example, namely the distributivity arising from looking at the ``down-set'' KZ-doctrine and the ``up-set'' co-KZ-doctrine on the 2-category of ordered sets. It is shown that the algebras arising from the basic distributive law associated with these are precisely the constructively completely distributive lattices studied in great detail by the last two authors in a series of articles. It is also shown that the resulting monad is the double-dualization monad with respect to the subobject classifier on ordered sets. This is a very interesting article for the reader with sufficient background and prerequisites.