Idea general
A universal morphism from is a unique pair in which has the following property, commonly referred to as a universal property: ”For any morphism of the form in , there exists a unique morphism in such that the following diagram commutes:“.
Producte Tensorial
Bla bla
Dualitat
Bla bla