{"id":"arxiv/2601.22023","url":"https://arxiv.org/abs/2601.22023","tags":["math.LO"],"score":0,"title":"A categorical equivalence for monadic algebras of first-order substructural logics motivated by Kalman's construction","domain":"math.LO","source":"arxiv","authors":["Juntao Wang","Mei Wang","William Zuluaga Botero"],"reviews":0,"subject":"math.LO","summary":"The category $\\mathbb{DRDL'}$, whose objects are c-differential residuated distributive lattices that satisfy the condition $\\mathbf{CK}$, is the image of the category $\\mathbb{RDL}$, whose objects are residuated distributive lattices, under the categorical equivalence (Kalman functor) $\\mathbf{K}$. The main goal of this paper is to lift this equivalence $\\mathbf{K}$ to the category $\\mathbb{MRDL}$, whose objects are monadic residuated distributive lattices, and the category $\\mathbb{MDRDL'}$, whose objects are pairs formed by an object of $\\mathbb{DRDL'}$ and a center universal quantifier.…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-29","reactions":{}}