2000 character limit reached
Calculating monad transformers with category theory (2503.20024v1)
Published 25 Mar 2025 in math.CT
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.
Sponsor
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.