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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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.