Ernie Manes, P. S. Mulry
Abstract
Open-access reader
Monads and their compositions can sometimes be generated from simpler data types and without necessarily requiring any monad axioms. Free monads and monad approximations provide two approaches to overcoming the constraints required by monad composition laws while generating near distributive laws.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Monads and their compositions can sometimes be generated from simpler data types and without necessarily requiring any monad axioms. Free monads and monad approximations provide two approaches to overcoming the constraints required by monad composition laws while generating near distributive laws.
Key concepts: Monad (category theory), Distributive property, Axiom, Law, Computer science, Mathematics, Pure mathematics, Functor