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,469 words) - 12:20, 16 October 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,301 words) - 11:32, 2 November 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
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
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
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
especially in category theory, the codensity monad is a fundamental construction associating a monad to a wide class of functors. The codensity monad of a functor...
7 KB (945 words) - 12:50, 16 October 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
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