Mercurial > repo
view wisdom/indexed monad @ 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 |
line wrap: on
line source
Indexed monads are just categories enriched over the monoidal category of endofunctors. Indexed monads are just monads on an indexed category