|
|
|
|
Vector A
Your petrochemical arms
Registered: Apr 2011
Location: U.S.
|
|
|
Apr-14-2012 03:35
|
|
|
|
|
Lagrangian
Suspended User
Registered: Feb 2012
Location: Mountain View, Santa Clara, California
|
|
|
Apr-14-2012 04:17
|
|
|
|
|
Lagrangian
Suspended User
Registered: Feb 2012
Location: Mountain View, Santa Clara, California
|
|
cool
Are you familiar with Monads? In Haskell they are defined as datatypes. Monads are a general framework which can model different kinds of computation, including error handling, nondeterminism, and parsing with Haskell.
Cool Article on Wikibooks about Haskell/Monads
http://en.wikibooks.org/wiki/Haskel...y_theory#Monads
quote: | Algebras/modules over a monad
Given that a monad in a bicategory ℬ is nothing but a monoid in a hom-category ℬ(a,a), it is natural to consider a module over this monoid: a module for a monad. This notion of module is more general than a module in a monoidal category, however, since it need not live in ℬ(a,a) but can be in ℬ(b,a) (for left modules) or ℬ(a,c) (for right modules).
http://nlab.mathforge.org/nlab/show/monad#Algebras
|
A free monad is a free object relative to a forgetful functor whose domain is a category of monads.
|
|
Apr-14-2012 04:59
|
|
|
|
|
| |
All times are GMT. The time now is 11:27.
Forum Rules:
You may not post new threads
You may not post replies
You may not edit your posts
|
HTML code is ON
vB code is ON
[IMG] code is ON
|
|
|
|
|
|
Contact Us - return to tranceaddict
Powered by: Trance Music & vBulletin Forums
Copyright ©2000-2024, Jelsoft Enterprises Ltd.
Privacy Statement / DMCA
|