Category Theory III 3.1, Adjunctions and monads

preview_player
Показать описание
Snake identities, monads from adjunctions