Category Theory For Beginners: Monads

Published: 15 May 2022
on channel: Richard Southwell
6,268
205

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


Watch video Category Theory For Beginners: Monads online without registration, duration hours minute second in high quality. This video was added by user Richard Southwell 15 May 2022, don't forget to share it with your friends and acquaintances, it has been viewed on our site 6,268 once and liked it 205 people.