comparison wisdom/indexed monad @ 3151:2126d10561e5

<shachaf> sed -i \'2s/$/./\' wisdom/indexed\\ monad
author HackBot
date Tue, 18 Jun 2013 04:10:44 +0000
parents 960e37f6e42f
children a21c56c47b93
comparison
equal deleted inserted replaced
3150:960e37f6e42f 3151:2126d10561e5
1 Indexed monads are just categories enriched over the monoidal category of endofunctors. 1 Indexed monads are just categories enriched over the monoidal category of endofunctors.
2 Indexed monads are just monads on an indexed category 2 Indexed monads are just monads on an indexed category.