heck?! How do you even explain what a monad is? John Baez, In category theory, a branch of mathematics, a monad is a triple ( T , η , μ ) {\displaystyle...

invention Monad (biology), a historical term for a simple unicellular organism Monad (category theory), a construction in category theory Monad (functional...

and side-effects. Both the concept of a monad and the term originally come from category theory, where a monad is defined as a functor with additional...

It is one of the main examples of a probability monad. It is implicitly used in probability theory whenever one considers probability measures which...

In category theory, a Kleisli category is a category naturally associated to any monad T. It is equivalent to the category of free T-algebras. The Kleisli...

Adjoint functors Galois connection Pontryagin duality Affine scheme Monad (category theory) Comonad Combinatorial species Exact functor Derived functor Dominant...

theory, infinitary Lawvere theory, and finite-product theory. Algebraic theory Clone (algebra) Monad (category theory) Lawvere theory at the nLab Hyland, Martin;...

In category theory, a branch of mathematics, a monoid (or monoid object, or internal monoid, or algebra) (M, μ, η) in a monoidal category (C, ⊗, I) is...

The term monad (from Ancient Greek μονάς (monas) 'unity' and μόνος (monos) 'alone') is used in some cosmic philosophy and cosmogony to refer to a most...

lemma in the theory of model categories. Kleisli category Given a monad T, the Kleisli category of T is the full subcategory of the category of T-algebras...