@misc{indiciaea584a35de9ce, title = {Completeness for monads and theories}, author = {Roman Kositsyn}, year = {2021}, url = {https://arxiv.org/abs/2104.00367}, note = {Source identifier: 2104.00367} }