Joachim Kock: "Polynomial functors — from elementary arithmetic to infinity-operads" Published 2024-02-22 Download video MP4 360p Download video MP4 720p Recommendations 1:08:11 Steven Clontz: "Sociotechnical infrastructure for mathematics research" 1:01:53 Paul Dancstep: The Universal Library; A novel approach to teaching category theory 57:21 An observation on Generalization 1:08:49 Algebraic Topology 1: Homotopy Equivalence 23:00 Evan Patterson: "A Short Introduction to Categorical Logic" 18:18 The Yoneda Embedding Expresses Whether, What, How, Why 1:05:09 Gil Strang's Final 18.06 Linear Algebra Lecture 50:29 Programming with Categories - Lecture 1 18:09 Is English just badly pronounced French? 32:16 Category Theory for Neuroscience (pure math to combat scientific stagnation) 1:01:56 Robert Paré: "The functorial difference operator" 26:20 A Sensible Introduction to Category Theory 1:00:18 Berkeley Seminar: Owen Lynch, 1/15/2024 23:51 Why is this number everywhere? 22:06 The Mathematician's Weapon | Category Theory and Why We Care §1.0 1:06:13 Applied Category Theory 1:29:49 Pairings in Cryptography 2:25:18 Tai-Danae Bradley | Category Theory and Language Models | The Cartesian Cafe with Timothy Nguyen 46:25 Programming with Categories - Lecture 0 43:54 Galois theory I | Math History | NJ Wildberger Similar videos 1:20:45 Joachim Kock, ∞-operads as polynomial monads 4:10:11 Polynomial Functors @ Topos (Monday) 1:33:01 Locally Cartesian Closed Infinity Categories - Joachim Kock 58:12 David Spivak: "Poly: a category of remarkable abundance" 1:04:37 Tashi Walde: 2-Segal spaces as invertible infinity-operads 15:41 Witch trees and the Kontsevich operad - Nathaniel Bottman 1:01:56 Peter Hines --- Shuffling cards as an operad. 1:15:17 Todd Trimble --- Categorifying negatives: roadblocks and detours. 48:44 Graph complexes, operads and embedding spaces 2/10 57:49 Tom Leinster : The categorical origins of entropy 1:41:24 Enriched Homotopy Coherent Structures More results