Explores compositions of applications and injectivity conditions in linear algebra, including restriction of applications and combinatorial proof of injections.
Delves into the bijection between linear applications and matrices, exploring linearity, injectivity, surjectivity, and the consequences of this relationship.
