532
edits
Monad: Difference between revisions
m
fix navbox
(some more stuff on monads) |
m (fix navbox) |
||
| Line 50: | Line 50: | ||
* In category theory, a branch of mathematics, a [[wikipedia:Monad (category theory)|monad]] is an object M which maps a category to itself in such a way that multiple applications of M can be "collapsed" down to a single application of M; formally, a monoid in the category of endofunctors. | * In category theory, a branch of mathematics, a [[wikipedia:Monad (category theory)|monad]] is an object M which maps a category to itself in such a way that multiple applications of M can be "collapsed" down to a single application of M; formally, a monoid in the category of endofunctors. | ||
* In computer science, a [[wikipedia:Monad (functional programming)|monad]] is a structure of types which can be used to wrap and compose computations, particularly in functional programming. Its name and concept derive from the category-theoretic term, as it can be described by a category-theoretic monad with a certain choice of category. Monads are most commonly associated with the functional programming language Haskell, but have seen use in other languages either explicitly or in spirit. | * In computer science, a [[wikipedia:Monad (functional programming)|monad]] is a structure of types which can be used to wrap and compose computations, particularly in functional programming. Its name and concept derive from the category-theoretic term, as it can be described by a category-theoretic monad with a certain choice of category. Monads are most commonly associated with the functional programming language Haskell, but have seen use in other languages either explicitly or in spirit. | ||
* The term has also seen less prominent use in [[wikipedia: Monad (biology)|biology]], [[wikipedia: Monad (linear algebra)|linear algebra]], [[wikipedia: Monad (nonstandard analysis)|nonstandard analysis]], and [[wikipedia: Monad (music)|music]]. | |||
{{Creature Navbox|Highly entropic beings}} | {{Creature Navbox|Highly entropic beings}} | ||