j
k
j a
j l
Vaughan Pratt wrote:
Patrik Eklund wrote: ..."Operads" are like sets of operations. A monad is an extension of a functor. If the functor is the term functor,
Patrik Eklund wrote:
"Operads" are like sets of operations. A monad is an extension of a functor. If the functor is the term functor,
"Operads" are like sets of operations.
A monad is an extension of a functor. If the functor is the term functor,
<snip>...
endofunctor T: C --> C. Vaughan Pratt
endofunctor T: C --> C.
Vaughan Pratt
Someone should up date the Wiki jim
Back to the thread
Back to the list