Steve Vickers: "The Fundamental Theorem of Calculus: point-free" Published 2024-05-30 Download video MP4 360p Recommendations 25:10 What is the square root of two? | The Fundamental Theorem of Galois Theory 51:53 Evan Patterson: Domain specific Logics for Scientific Modeling Theory and Practice 1:56:45 Category theory: a framework for reasoning 1:03:05 Nicola Gambino: "Monoidal bicategories, differential linear logic, and analytic functors" 08:50 The Axiom of Choice 1:00:16 Mason Porter: "Topological Data Analysis of Spatial Systems" 1:00:05 Shaowei Lin: AI-assisted Coding. Correct by Construction, Not by Generation 1:00:36 Berkeley Seminar: David Spivak, A tour of EM(Cat#) (5/20/2024) 38:32 Why is calculus so ... EASY ? 1:03:37 Valeria de Paiva: Network Mathematics for All 1:09:42 The Mystery of Spinors 15:21 Why π^π^π^π could be an integer (for all we know!). 24:44 Mathematician Explains Infinity in 5 Levels of Difficulty | WIRED 30:17 This Is the Calculus They Won't Teach You 31:13 Researchers Use Group Theory to Speed Up Algorithms — Introduction to Groups 2:19:34 Grant Sanderson (3Blue1Brown) | Unsolvability of the Quintic | The Cartesian Cafe w/ Timothy Nguyen 3:53:53 Machine Learning for Everybody – Full Course Similar videos 1:05:26 Steve Vickers: "Locales via bundles" 1:16:35 Jiří Rosický, Towards a point free model theory 1:31:09 Colin McLarty : « Grothendieck’s two intuitions of topos : with reference to Serre and Deligne ». 1:26:46 Ingo Blechschmidt, Towards multiversal modal operators for homotopy type theory 25:52 Classical and new plumbings bounding contractible manifolds and homology balls - Oğuz Şavk 1:22:46 Andreas Doering: "Topos mini-course 3" 1:16:46 Asgar Jamneshan: "Topos theory and measurability" 41:30 Chris Heunen: "The category of Hilbert modules" 18:08 Bas Spitters: "The space of measurement outcomes as a spectrum for non-commutative algebras" 27:04 Christopher TOWNSEND - There are categories of ‘spaces' that are not categories of locales 47:47 Bas Spitters - Homotopy type theory, synthetic topology and probabilistic programming 45:35 Bas Spitters: Synthetic topology in Homotopy Type Theory for probabilistic programming 31:52 Bertfried Fauser: "Some graphical aspects of Frobenius algebra" 37:31 Paul-Andre Mellies: "Dialogues categories and Frobenius 1:05:51 Prof. Denk(Patr 2/3) More results