@misc{indiciae82c7983cb437, title = {A categorical equivalence for monadic algebras of first-order substructural logics motivated by Kalman's construction}, author = {Juntao Wang and Mei Wang and William Zuluaga Botero}, year = {2026}, url = {https://arxiv.org/abs/2601.22023}, note = {Source identifier: 2601.22023} }