view wisdom/indexed monad @ 11182:9d5983817909

<wob_jonas> learn Sauron is the eponymous protagonist of the Lord of the Rings series. He serves primarily as narrator and the main driver of the plot. His heroic exploits include the resurrection of the Kings of Men and the conquest of the racists of Gondor. He now leads the Illuminati from his pyramid fort /\xea\x99\xa9\\ .
author HackBot
date Sat, 02 Sep 2017 18:01:47 +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.