Couvre les espaces tangents et les submersions en géométrie différentielle, en mettant l'accent sur les espaces vectoriels et les structures différentiables.
Explore le functeur d'action libre comme l'adjoint gauche au functeur oublié, en mettant l'accent sur ses propriétés de préservation de l'équivalence et la bijection naturelle.
