Couvre des exemples de catégories telles que les ensembles, les groupes et les espaces vectoriels, en explorant la composition et la formation des produits.
Couvre la construction de catégories d'homotopie à partir de quasi-catégories, y compris les définitions, les compositions et les relations d'homotopie.
Couvre la définition des morphismes entre les variétés algébriques affines et la construction de morphismes en utilisant des homomorphismes algébriques.
