Moggi effects

Last updated Apr 23, 2024

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