Exercises 1 : Introduction
EX 1: Categories and functors
Categories and Lambda-calculi (M1 ENS Ulm / ENS Paris-Saclay)
- Teacher: Paul-André Melliès
- Teaching assistant: Samuel Mimram
- Course pages:
Lecture 1: Introduction
Introduction
Lecture 2:
Simply-typed $λ$-calculus
Lecture 3:
Categories and functors
Exercises 2: Adjunctions
EX 1: Free monoids and categories
Cours 4: Adjonction par générateurs et relations, Monades
Adjonction par générateurs et relations
Exercises 3: Graph and Yoneda Lemma
EX 1: The Yoneda Lemma
Cours 5: Computational $λ$-calculus
Call-by-value + computational effects ⟶ evaluation strategy
Exercises 4: Monads and algebras
EX 1: Algebras for a monad
Exercises 5: Equalizers, coequalizer
Equalizers and coequalizers
Cours 6: Algebraic theories
Free monads
Final presentation: Bayesian Machine Learning via Category Theory
Main article: Bayesian Machine Learning via Category Theory (J. Culbertson & K. Sturtz)