Si formula_21 y formula_22 son proyecciones canónicas, entonces la construcción del isomorfismo formula_23 se describe por el diagrama conmutativo siguiente: