Moggi effects

Last updated Aug 7, 2023

References

• Adjunctions whose counits are coequalizers and presentations of finitary enriched monads (Kelly, Power)
• Notions of Computation and Monads (Moggi)
• The Costructure-Cosemantics Adjunction (Garner)

Related

• Monad
• Effectful category