Evan Patterson: Domain specific Logics for Scientific Modeling Theory and Practice Published 2024-05-14 Download video MP4 360p Download video MP4 720p Recommendations 1:00:03 M Andrew Moshier: Relations for Order Regular Categories 1:11:11 Steve Vickers: "The Fundamental Theorem of Calculus: point-free" 1:03:05 Nicola Gambino: "Monoidal bicategories, differential linear logic, and analytic functors" 1:00:05 Shaowei Lin: AI-assisted Coding. Correct by Construction, Not by Generation 05:07 MEET a Mathematician! - Emily Riehl 56:25 The Unreasonable Effectiveness of Spectral Graph Theory: A Confluence of Algorithms, Geometry & ... 57:21 An Observation on Generalization 1:44:20 Tutorial on Category Theory: Part 1 – Pure and Classical 1:00:56 Are LLMs the Beginning or End of NLP? 59:05 Elena Di Lavore: "Effectful trace semantics via effectful streams" 03:01 Pulling drinkable water out of dry air 46:25 Programming with Categories - Lecture 0 15:55 The REAL Reason The World is Obsessed With Israel 50:29 Programming with Categories - Lecture 1 1:03:37 Valeria de Paiva: Network Mathematics for All 1:27:21 Category theory (2022-23): Lecture 1 1:20:35 The Arrow of Time in Causal Networks 09:38 Why the World is Moving Away from Russia | Peter Zeihan 50:45 Applied Category Theory. Chapter 1, lecture 1 (Spivak) Similar videos 57:02 Evan Patterson (Topos Inst.): Toward Formalizing Scientific Theories/Models Using Categorical Logic 1:03:34 Evan Patterson: Principles and pitfalls of designing software for applied category theory 1:02:48 Evan Patterson: Realizing Applied Category Theory in Julia 1:12:12 Evan Patterson: The algebra of statistical theories and models 50:31 Evan Patterson: Double-categorical databases and knowledge representation 1:03:56 Evan Patterson: "Categories of diagrams in data migration and computational physics" 3:30:29 ACT 2021 - Day 2, Sessions 3 - 4 1:53:51 ∞-Category Theory for Undergraduates 30:41 Evan Patterson - Structured and decorated cospans from the viewpoint of double category theory 55:00 Kris Brown: Scientific and software engineering examples of applied category theory 1:32:57 Across the Kmettverse with Edward Kmett – Functional Futures 1:09:47 Mike Evans | Statistical Reasoning & Statistical Evidence | Philosophy of Data Science Series 50:18 Compositional Graphical Logic 52:00 What are we tracking? How Applied Category Theory puts thinking on rails 24:51 Applied Category Theory • Ken Scambler • YOW! 2019 53:30 Juan F. Meleiro: "Towards Modular Mathematics" 1:18:00 Jonathan Gorard: "Fast Diagrammatic Reasoning and Compositional Approaches to Fundamental Physics" 1:00:58 Science And Python: retrospective of a (mostly) successful decade More results