applied category theory

0:13:43

John Baez University of California - Applied Category Theory 1 of 4

0:52:00

What are we tracking? How Applied Category Theory puts thinking on rails

1:01:30

David Corfield: 'Philosophical perspectives on category theory'

0:05:14

What's information? orgmode and applied category theory.

0:26:11

JuliaCon 2020 | AlgebraicJulia: Applied Category Theory in Julia | James Fairbanks

2:57:18

David Jaz Myers - Tutorial on Lenses

0:52:13

Nicolas Behr - Towards Executable Applied Category Theory in Coq

0:31:01

Davide Borsatti - Category Theory applied to Intent Based Networking: first steps

0:53:15

Applied Category Theory. Chapter 3, lecture 1 (Spivak)

0:50:47

Applied Category Theory. Chapter 2, lecture 2 (Fong)

2:25:18

Tai-Danae Bradley | Category Theory and Language Models | The Cartesian Cafe with Timothy Nguyen

2:01:53

Natural Transformations: Intro. & 10 programming examples (Applied Category Theory)

0:46:08

The Promise of Category Theory

0:59:54

SPLV 2024 - Applied Category Theory 1 (Jules Hedges)

0:49:20

Applied Category Theory: Algebraic Structure for Programming & Engineering (Victor Kawasaki-Borruat)

0:57:10

Gabriel Gonzales: Applied category theory and abstract algebra - λC Winter Retreat 2017

0:22:00

John Baez - Categories: the Mathematics of Connection - IPAM at UCLA

0:02:57

Applied Compositional Thinking for Engineers (ACT4E) - January 2021 Online Course Teaser

1:05:11

John Baez | Category Theory in Epidemiology

0:41:53

Mario Román: Profunctor optics, a categorical update

1:06:13

Spencer Breiner: Seven scribbles in applied category theory

0:04:14

Category Theory in Theoretical Linguistics

0:32:16

Category Theory for Neuroscience (pure math to combat scientific stagnation)

0:07:02

Ryan Wisnesky. Brief intro to category theory. (04-Aug-2021)