Joachim Kock: "Polynomial functors — from elementary arithmetic to infinity-operads" Published 2024-02-22 Download video MP4 360p Recommendations 1:08:11 Steven Clontz: "Sociotechnical infrastructure for mathematics research" 50:29 Programming with Categories - Lecture 1 1:56:45 Category theory: a framework for reasoning 1:11:35 Steve Vickers: "The Fundamental Theorem of Calculus: point-free" 23:00 Evan Patterson: "A Short Introduction to Categorical Logic" 1:08:49 Algebraic Topology 1: Homotopy Equivalence 1:01:53 Paul Dancstep: The Universal Library; A novel approach to teaching category theory 14:36 Scientific Concepts You're Taught in School Which are Actually Wrong 1:14:47 CMPT898 Session 27 -- Polynomial Functors & Dynamic Modeling;Commentary on Topos Poly. Funct. Course 51:53 Evan Patterson: Domain specific Logics for Scientific Modeling Theory and Practice 2:25:18 Tai-Danae Bradley | Category Theory and Language Models | The Cartesian Cafe with Timothy Nguyen 59:18 Berkeley Seminar: Sophie Libkind, Probabilistic and Namespace Conditioning in Poly (4/29/2024) 54:49 Algorithmic Trading and Machine Learning 1:34:01 Calculus 1 Lecture 2.6: Discussion of the Chain Rule for Derivatives of Functions 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 1:14:25 Jamie Vicary: "Understanding free infinity-categories" 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