Couvre les généralités des fonctions, y compris la définition d'une application entre les ensembles et l'unicité des éléments dans l'ensemble d'images.
Explore les limites et les colimits dans la théorie des catégories, en discutant de leurs définitions, propriétés et applications, y compris la non-existence de limites dans certaines catégories et les relations entre les limites et les colimits sous les functeurs.
