Explores making tangent spaces linear, defining tangent vectors without an embedding space and their operations, as well as the equivalence of different tangent space notions.
Explores the definition and properties of linear applications, focusing on injectivity, surjectivity, kernel, and image, with a specific emphasis on matrices.
Introduces projective plane curves, degrees, components, multiplicities, intersection numbers, tangents, and multiple points, culminating in the statement of Bézout's theorem and its consequences.