A basic distributive law

Complete distributivity (06D10) Preorders, orders, domains and lattices (viewed as categories) (18B35) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Review text

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.

Recommendations

Cites work

Cited in

(12)

This page was built for publication: A basic distributive law

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5960405)