filmov
tv
Category Theory III 3.1, Adjunctions and monads
Показать описание
Snake identities, monads from adjunctions
Bartosz Milewski
Category theory
Functional programming