Mercurial > repo
annotate wisdom/indexed monad @ 3150:960e37f6e42f
<shachaf> echo \'Indexed monads are just monads on an indexed category\' >> wisdom/\'indexed monad\'
author | HackBot |
---|---|
date | Mon, 17 Jun 2013 04:53:04 +0000 |
parents | be0f5ac8c3e7 |
children | 2126d10561e5 |
rev | line source |
---|---|
3149 | 1 Indexed monads are just categories enriched over the monoidal category of endofunctors. |
3150
960e37f6e42f
<shachaf> echo \'Indexed monads are just monads on an indexed category\' >> wisdom/\'indexed monad\'
HackBot
parents:
3149
diff
changeset
|
2 Indexed monads are just monads on an indexed category |