# HG changeset patch # User HackBot # Date 1371444784 0 # Node ID 960e37f6e42f395803f0740a294a91e5cfc14f88 # Parent be0f5ac8c3e7f476f2b9dcbffef0f5e39904f966 echo \'Indexed monads are just monads on an indexed category\' >> wisdom/\'indexed monad\' diff -r be0f5ac8c3e7 -r 960e37f6e42f wisdom/indexed monad --- 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