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...
30 KB (4,467 words) - 15:23, 8 August 2024
invention Monad (biology), a historical term for a simple unicellular organism Monad (category theory), a construction in category theory Monad (functional...
2 KB (268 words) - 15:15, 27 August 2024
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...
75 KB (9,300 words) - 08:42, 12 August 2024
It is one of the main examples of a probability monad. It is implicitly used in probability theory whenever one considers probability measures which...
13 KB (1,999 words) - 14:30, 27 July 2024
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...
7 KB (1,141 words) - 12:34, 15 April 2024
Adjoint functors Galois connection Pontryagin duality Affine scheme Monad (category theory) Comonad Combinatorial species Exact functor Derived functor Dominant...
5 KB (402 words) - 15:20, 29 March 2024
theory, infinitary Lawvere theory, and finite-product theory. Algebraic theory Clone (algebra) Monad (category theory) Lawvere theory at the nLab Hyland, Martin;...
3 KB (286 words) - 05:03, 18 September 2022
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...
5 KB (511 words) - 14:20, 31 January 2024
The term monad (from Ancient Greek μονάς (monas) 'unity' and μόνος (monos) 'alone') is used in some cosmic philosophy and cosmogony to refer to a most...
7 KB (804 words) - 16:49, 22 June 2024
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...
72 KB (11,080 words) - 01:11, 20 August 2024