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 compositions of applications and injectivity conditions in linear algebra, including restriction of applications and combinatorial proof of injections.
