and Coends” Prev: algebras-for-monads Next: kan-extensions Prev: algebras-for-monads Next: kan-extensions