Mercurial > repo
view wisdom/indexed monad @ 3575:add87b992baa
<Roujo> echo \xe3\x83\xbd\xe0\xbc\xbc\xe0\xba\x88\xd9\x84\xcd\x9c\xe0\xba\x88\xe0\xbc\xbd\xef\xbe\x89 > raise_them
author | HackBot |
---|---|
date | Fri, 30 Aug 2013 13:05:58 +0000 |
parents | 76820f8a4c50 |
children |
line wrap: on
line source
Indexed monads are just monads on an indexed category. Indexed monads are just categories enriched over the monoidal category of endofunctors.