Cette séance de cours commence par étudier des exemples d'existence et de non-existence de transformations naturelles, puis passe au concept d'équivalence des catégories, explorant des exemples concrets tels que les équivalences entre les catégories de la forme BG pour G un groupe. Vers la fin, la notion d'adjonction est introduite, ainsi qu'une première classe d'exemples spécifiques, où l'une des catégories impliquées est Un.