Category Theory
Théorie des catégories, langage unificateur des mathématiques : foncteurs, transformations naturelles, adjonctions, monades, lemme de Yoneda, catégories abéliennes et dérivées. Ouverture aux topos et aux infini-catégories.
Category theory as a unifying language for modern mathematics: functors, natural transformations, adjunctions, monads, the Yoneda lemma, abelian and derived categories. Brief glimpse of topoi and infinity-categories.