Another characterization of no-iteration distributive laws
Category Theory
2020-03-31 v2
Abstract
We provide a characterization of no-iteration distributive laws in terms of its monads in extensive form only. To do that, it is necessary to take account of both right and left extension systems. We also give, in this right-left perspective, characterizations of the 1-cells and 2-cells in and .
Cite
@article{arxiv.1910.06531,
title = {Another characterization of no-iteration distributive laws},
author = {Enrique Ruiz Hernández},
journal= {arXiv preprint arXiv:1910.06531},
year = {2020}
}
Comments
21 pages; explicit form added for the case $K=\mathbf{Cat}$ in last observation