diff 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
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/indexed monad	Mon Jun 17 04:51:26 2013 +0000
@@ -0,0 +1,1 @@
+Indexed monads are just categories enriched over the monoidal category of endofunctors.