Series2 parts
Category Theory for AI
In this series, we explore how category theory can provide a robust framework for understanding and designing AI systems.
Each part builds on the previous one, so start at the top if you want the full context.
Parts
- Part 1
Introduction to Category Theory for AI
An introductory overview of how category theory concepts can be applied to artificial intelligence.
1 min - Part 2
What Happens to Currying When Beta and Eta Become Computations?
A worked path through Seely's 2-categorical lambda calculus: from one term with two beta reductions to interchange, laxity, and the adjunction between currying and uncurrying.
16 min