Categories and λ-calculus

I am tutoring exercise sessions for the course of categories and λ-calculus, which is teached by Paul-André Melliès and is part of the the MPRI master. More meterial is available on the webpage of the course.

2017-2018

  1. Cartesian categories
  2. Adjunctions
  3. Graphs and the Yoneda lemma
  4. Monads and algebras
  5. Presheaves as cocompletion

2016-2017

  1. Cartesian categories
  2. Graphs and the Yoneda lemma
  3. Pullbacks, monos, epis and subobjects
  4. Equalizers, epi-mono factorization, first-order logic
  5. Algebras
  6. A reformulation of adjunctions
  7. Distributivity laws between monads – Grothendieck construction and set-theoretic colimits

2015-2016

  1. Cartesian categories
  2. Graphs, adjunctions, monads
  3. Algebras
  4. λ-calculus and cartesian closed categories
  5. Categories of presheaves and colimits

2014-2015

  1. Cartesian categories
  2. Graphs, adjunctions, monads
  3. λ-calculus
  4. Algebras
  5. Realizability
  6. Presheaf categories, (co)limits
  7. Presentations of monoidal categories

2013-2014

  1. λ-calculus
  2. Graphs, adjunctions, monads
  3. Adjunctions, monads
  4. Cartesian and monoidal categories
  5. Algebras
  6. Closed categories
  7. Limits, presheaf categories

2012-2013

  1. λ-calculus
  2. Graphs, adjunctions, monads
  3. Adjunctions, monads
  4. Rewriting
  5. Realizability
  6. Cartesian categories
  7. Monoidal theories
  8. Limits, presheaf categories

2011-2012

  1. Graphes, catégories cartésiennes
  2. Monades
  3. Réalisabilité
  4. Adjunctions and monads
  5. λ-calculus
  6. Cartesian closed categories
  7. Catégories compactes closes

2010-2011

  1. Catégories cartésiennes
  2. Adjonctions
  3. Adjunctions and monads
  4. λ-calculus
  5. Cartesian closed categories
  6. Semantics of fixpoint

2009-2010

  1. Monoïdes
  2. Adjonctions, monade de non-déterminisme
  3. Monades
  4. Catégories cartésiennes fermées
  5. Catégories monoïdales
  6. Catégories compactes closes
  7. Catégories monoïdales tracées
  8. Catégories monoïdales tracées
  9. Modèles fonctoriels
  10. Limites, présentations de catégories
  11. Présentations de catégories monoïdales
  12. Lois distributives, catégories de jeux

Useful links