Mercurial > repo

view wisdom/indexed monad @ 11293:a7899ef2d7b6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<wob_jonas> learn Aristotle said that every illness can be cured by balancing the four vitreous humors, and everyone believed him for two thousand years, even though people still died of illnesses. It wasn\'t until the 20th century that Szent-Gy\xc3\xb6rgyi Albert realized that Aristotle didn\'t find fifth kind of vitreous humor, vitamin C, because the Greek alphabet
author HackBot
date Mon, 01 Jan 2018 17:57:43 +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.