Propietat Universal

Idea general

“A universal morphism from X {\displaystyle X} to F {\displaystyle F} is a unique pair ( A , u : X → F ( A ) ) {\displaystyle (A,u:X\to F(A))} in D {\displaystyle {\mathcal {D}}} which has the following property, commonly referred to as a universal property:For any morphism of the form f : X → F ( A ′ ) {\displaystyle f:X\to F(A')} in D {\displaystyle {\mathcal {D}}}, there exists a unique morphism h : A → A ′ {\displaystyle h:A\to A'} in C {\displaystyle {\mathcal {C}}} such that the following diagram commutes:“.

Producte Tensorial

Dualitat