Mercurial > repo
view wisdom/indexed monad @ 6892:9da721c688fa
<oerjan> le/rn ronald reagan/Ronald Reagan was an actor so great he managed to convince the US that he was the President. Then he created the Star Wars project to destroy the Soviet Union.
author | HackBot |
---|---|
date | Tue, 16 Feb 2016 21:36:35 +0000 |
parents | 7f957c1f4661 |
children |
line wrap: on
line source
Indexed monads are just monads on an indexed category. Indexed monads are just categories enriched over the monoidal category of endofunctors.