Notions of monad strength

MaRDI QIDQ4994687zbMATH OpenFDO

Authors Philip S. Mulry

Publication date 21 June 2021

Full work available at URL https://arxiv.org/abs/1309.5132, http://eptcs.web.cse.unsw.edu.au/paper.cgi?DSS2013.6

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Monad compositions II: Kleisli strength
• Notions of computation as monoids
• scientific article; zbMATH DE number 2087441
• Monad as modality
• A new notation for arrows

Cited in

(6)

• Monad as modality
• Near distributive laws
• A divertimento on MonadPlus and nondeterminism
• Monad compositions II: Kleisli strength
• Eilenberg-Moore monoids and backtracking monad transformers
• scientific article; zbMATH DE number 7779295 (Why is no real title available?)

This page was built for publication: Notions of monad strength

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4994687)