20:34
Solving one of the logic puzzles of all time!
26:15
Kan Academy: Introduction to Limits
25:55
One second to compute the largest Fibonacci number I can
17:35
2Fast2Finite: Breaking the natural speed limit of finite numbers
13:44
Solving a finite number problem using infinities
15:04
Infinite numbers have only finitely many (nonzero) digits
14:04
What is a Comonad? – Comath and Mputer Science
11:16
(Provably) Unprovable and Undisprovable... How??
10:13
Can programmers do math? What is a real number, really?
11:31
Can Mathematicians Code? The Intermediate Value Theorem
11:02
A shallow grip on neural networks (What is the "universal approximation theorem"?)
13:58
What is a Monad? – Math vs Computer Science
X
About
My university doesn't let me teach anymore, so the rest of the world is my victim now.
Let g be the functor mapping source to *.o objects. If we sheafify g, we get a functor g++ that now satisfies gluing: a system of compatible objects can be uniquely linked!
Tags