Category Theory For Beginners: Monads
We start by introducing monads simply, in a way functional programmers can understand. We use the maybe monad as an example. We describe Kleisli categories, monoids in monoidal categories and why a monads is a monoid in the category of endofunctors. We describe how monads relate to adjunctions, algebras and the Eilenberg Moore category. We also describe action monads, probability monads, and a connection between graphs, categories and monads. For more about probability monads check out Section 2.1 of https://arxiv.org/abs/2006.01631
More about the connection between categories and graphs can be found in http://eugeniacheng.com/wp-content/up...
Also, see my previous video
• Category Theory For Beginners: Cookin...
for more background on monoidal categories
Смотрите видео Category Theory For Beginners: Monads онлайн без регистрации, длительностью часов минут секунд в хорошем качестве. Это видео добавил пользователь Richard Southwell 15 Май 2022, не забудьте поделиться им ссылкой с друзьями и знакомыми, на нашем сайте его посмотрели 6,268 раз и оно понравилось 205 людям.