An equational approach to enriched distributivity

Publication date 25 December 2021

Complete distributivity (06D10) Quantales (06F07) Infinitary algebras (08A65) Preorders, orders, domains and lattices (viewed as categories) (18B35) Equational categories (18C05) Enriched categories (over closed or monoidal categories) (18D20)

arXiv classification

cs.LO math.CT

Abstract: The familiar adjunction between ordered sets and completely distributive lattices can be extended to generalised metric spaces, that is, categories enriched over a quantale (a lattice of "truth values"), via an appropriate distributive law between the "down-set" monad and the "up-set" monad on the category of quantale-enriched categories. If the underlying lattice of the quantale is completely distributive, and if powers distribute over non-empty joins in the quantale, then this distributive law can be concretely formulated in terms of operations, equations and choice functions, similar to the familiar distributive law of lattices.

This page was built for publication: An equational approach to enriched distributivity

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