changeset 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
files wisdom/indexed monad
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/wisdom/indexed monad	Mon Jun 17 04:52:05 2013 +0000
+++ b/wisdom/indexed monad	Mon Jun 17 04:53:04 2013 +0000
@@ -1,1 +1,2 @@
 Indexed monads are just categories enriched over the monoidal category of endofunctors.
+Indexed monads are just monads on an indexed category