Moggi effects

Last updated Mar 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