An equational approach to enriched distributivity
Category Theory
2021-12-28 v1 Logic in Computer Science
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.
Cite
@article{arxiv.2112.13290,
title = {An equational approach to enriched distributivity},
author = {Adriana Balan and Alexander Kurz},
journal= {arXiv preprint arXiv:2112.13290},
year = {2021}
}
Comments
16 pages