Difference between revisions of "Free monad"
Jump to navigation
Jump to search
m (link) |
|||
| Line 1: | Line 1: | ||
[[Category:Glossary]] |
[[Category:Glossary]] |
||
| − | A free monad generated by a functor is a special case of the more general free (algebraic) structure over some underlying structure. For an explanation of the general case, culminating with an explanation of free monads, see the article on [[free structure]]s. |
+ | A free monad generated by a [[functor]] is a special case of the more general free (algebraic) structure over some underlying structure. For an explanation of the general case, culminating with an explanation of free monads, see the article on [[free structure]]s. |
Latest revision as of 15:53, 2 March 2010
A free monad generated by a functor is a special case of the more general free (algebraic) structure over some underlying structure. For an explanation of the general case, culminating with an explanation of free monads, see the article on free structures.