filmov
tv
What are…monads?
Показать описание
Goal.
Explaining basics concepts of category theory in an intuitive way.
This time.
What are…monads? Or: The natural numbers as functors.
Disclaimer.
Nobody is perfect, and I might have said something silly. If there is any doubt, then please check the references.
Disclaimer.
The distinction between “large classes” and “small classes (sets)” turns out is crucial for many categorical considerations, but somehow makes the language more cumbersome without too much gain imho. So I will strategically ignore all set-theoretical issues.
Nonsense.
Of course I messed up my guess how old the Ishango bone is…
Slides.
Ishango bone.
Monads.
Also monads (and not unrelated).
Monoids.
Pictures used.
Some books I am using (I sometimes steal some pictures from there).
Nlab.
TheCatsters.
Mathematica.
#categorytheory
#categoricalalgebra
#mathematics
Explaining basics concepts of category theory in an intuitive way.
This time.
What are…monads? Or: The natural numbers as functors.
Disclaimer.
Nobody is perfect, and I might have said something silly. If there is any doubt, then please check the references.
Disclaimer.
The distinction between “large classes” and “small classes (sets)” turns out is crucial for many categorical considerations, but somehow makes the language more cumbersome without too much gain imho. So I will strategically ignore all set-theoretical issues.
Nonsense.
Of course I messed up my guess how old the Ishango bone is…
Slides.
Ishango bone.
Monads.
Also monads (and not unrelated).
Monoids.
Pictures used.
Some books I am using (I sometimes steal some pictures from there).
Nlab.
TheCatsters.
Mathematica.
#categorytheory
#categoricalalgebra
#mathematics
0:02:30
What is a monad? (Design Pattern)
0:21:50
What is a Monad? - Computerphile
0:21:08
What the Heck Are Monads?!
0:15:12
The Absolute Best Intro to Monads For Software Engineers
0:05:19
Haskell: Monads. A 5-minute introduction
0:15:48
What is a Monad? - The Last Monad Intro You'll Ever Need
0:04:19
A monad is a monoid in the category of endofunctors. Whats the problem? #SoMe2
0:03:52
What Is the Monad
0:00:27
🤔 Should Python Devs Use Monads?
0:43:16
No Nonsense Monad & Functor - The foundation of Functional Programming by César Tron-Lozai
0:09:37
What are…monads?
0:03:06
What is your Monad?
1:15:29
Category Theory 10.1: Monads
0:02:30
Haskell in 100 Seconds
0:06:41
Leibniz's Monads Explained
0:04:58
What are monads – Daniel Steinberg on Swiftly Speaking
0:00:52
Stateful functions -- What is a monad? #functionalprogramming #maths #vs
0:06:29
The Gnostic Monad
0:14:43
Haskell for Imperative Programmers #17 - Monads
0:21:18
Brief History of the Monad
0:18:18
Okay but WTF is a MONAD?????? #SoME2
0:11:25
Monad - FunFunFunction #21
0:04:00
Hitler reacts to functional programming
0:00:29
What is Monad?
Комментарии