A categorical equivalence for monadic algebras of first-order substructural logics motivated by Kalman's construction

Juntao Wang, Mei Wang, William Zuluaga Botero

The category $\mathbb{DRD}{\mathbb{L}}^{\prime }$, whose objects are c-differential residuated distributive lattices that satisfy the condition $\mathbf{CK}$, is the image of the category $\mathbb{RDL…