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.
Delves into the bijection between linear applications and matrices, exploring linearity, injectivity, surjectivity, and the consequences of this relationship.
