Calculating monad transformers with category theory
arXiv:2503.20024
Abstract
We show that state, reader, writer, and error monad transformers are instances of one general categorical construction: translation of a monad along an adjunction.
arXiv:2503.20024
We show that state, reader, writer, and error monad transformers are instances of one general categorical construction: translation of a monad along an adjunction.