A categorical equivalence for monadic algebras of first-order substructural logics motivated by Kalman's construction
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.…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2601.22023
curl -X POST /api/v1/records/arxiv/2601.22023/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2601.22023/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'