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

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

Applied Category Theory Conversation, Sept 2022See more

Applied Category Theory Conversation, Sept 2022

What is category theory?See more

What is category theory?

Applied Category TheorySee more

Applied Category Theory

Evan Patterson: "A Short Introduction to Categorical Logic"See more

Evan Patterson: 'A Short Introduction to Categorical Logic'

David Spivak on Applied Category Theory and Large Language ModelsSee more

David Spivak on Applied Category Theory and Large Language Models

Intuitive Introduction to Category TheorySee more

Intuitive Introduction to Category Theory

ACT 2020 Tutorial: Introduction to Applied Category Theory (David Spivak)See more

ACT 2020 Tutorial: Introduction to Applied Category Theory (David Spivak)

27 Unhelpful Facts About Category TheorySee more

27 Unhelpful Facts About Category Theory

A Sensible Introduction to Category TheorySee more

A Sensible Introduction to Category Theory

Applied Category Theory. Chapter 1, lecture 1 (Spivak)See more

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

David Spivak - Sense-making: accounting for intelligibility - IPAM at UCLASee more

David Spivak - Sense-making: accounting for intelligibility - IPAM at UCLA

David Corfield: "Philosophical perspectives on category theory"See more

David Corfield: 'Philosophical perspectives on category theory'

Evan Patterson: Realizing Applied Category Theory in JuliaSee more

Evan Patterson: Realizing Applied Category Theory in Julia

Evan Patterson: Principles and pitfalls of designing software for applied category theorySee more

Evan Patterson: Principles and pitfalls of designing software for applied category theory

Actual