Couvre le calcul des nerfs et la réalisation géométrique dans des ensembles simpliciaux, ainsi que des foncteurs entrant et sortant de la catégorie des ensembles simpliciaux.
Explore les transformations naturelles dans la théorie de groupe et la théorie de catégorie, mettant l'accent sur la composition du functeur et la composition du morphisme.
Explore l'apprentissage actif dans la théorie de groupe, en mettant l'accent sur les produits, les coproduits, les adjonctions et les transformations naturelles.
Couvre la théorie des groupes et de l'algèbre homotopique, mettant l'accent sur les transformations naturelles, les identités et l'isomorphisme des catégories.
Couvre la fermeture algébrique de Qp et la définition des nombres complexes p-adiques, en explorant la dépendance continue des racines sur les coefficients.
