What is a Monad? – Math vs Computer Science

Monads look pretty different in math vs in programming... what exactly are they? (Don't say they're just monoids in the category of endofunctors,... I mean it.) ______________ Timestamps: 00:00 - Introduction 00:40 - What is a monad? 01:48 - What is a monad to a functional programmer? 03:28 - The state monad 04:39 - The maybe monad 05:22 - Recipe for a monad 06:21 - What is a monad to a category theorist? 07:21 - The "linear algebra" monad 08:35 - Monad unit and multiplication 09:24 - Monad algebras 10:27 - Reconciling the two notions of a monad 11:26 - Kleisli category 11:44 - Eilenberg-Moore category 12:30 - Monad "bind" 13:34 - Thx 4 watching