Mercurial > repo
annotate indexed monad @ 3148:14bb673e965a
<shachaf> >\'indexed monad\' echo \'Indexed monads are just categories enriched over the monoidal category of endofunctors.\'
author | HackBot |
---|---|
date | Mon, 17 Jun 2013 04:51:26 +0000 |
parents | |
children |
rev | line source |
---|---|
3148
14bb673e965a
<shachaf> >\'indexed monad\' echo \'Indexed monads are just categories enriched over the monoidal category of endofunctors.\'
HackBot
parents:
diff
changeset
|
1 Indexed monads are just categories enriched over the monoidal category of endofunctors. |