Cette séance de cours introduit des catégories concrètes, où les objets sont des ensembles avec une structure supplémentaire et les morphismes sont des fonctions définies en ce qui concerne cette structure. Par exemple, la catégorie Ens des ensembles avec des fonctions définies, la catégorie Gr des groupes avec des homomorphismes de groupe, la catégorie Ab des groupes abeliens avec des homomorphismes de groupe, et la catégorie Vectk des espaces vectoriels sur le champ k avec des transformations linéaires.