Residuated Park Theories

Zoltan Esik

When $L$ is a complete lattice, the collection $\Mon_L$ of all monotone functions $L^p\to L^n$, $n,p\ge 0$, forms a Lawvere theory. We enrich this Lawvere theory with the binary…