298
edits
m (fix navbox) |
(Italicize book title) |
||
Line 47: | Line 47: | ||
==Trivia== | ==Trivia== | ||
The word "monad" (from ancient Greek *monas*, "unity"; compare "dyad" and "triad") has a variety of meanings. | The word "monad" (from ancient Greek *monas*, "unity"; compare "dyad" and "triad") has a variety of meanings. | ||
* In philosophy, [[wikipedia:Monad (philosophy)|monad]] refers to a basic or original substance or object. In some interpretations, the Monad is a particular way of conceiving God. The term is particularly associated with Gottfried Leibniz, whose treatise | * In philosophy, [[wikipedia:Monad (philosophy)|monad]] refers to a basic or original substance or object. In some interpretations, the Monad is a particular way of conceiving God. The term is particularly associated with Gottfried Leibniz, whose treatise ''Monadology'' argues that all truly real objects are mind-like, singular monads which ultimately derive from God. | ||
* 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. |