Figure 2 Where all the squares, except possibly, the square with broken arrows, are commu- tative. But also this square is commutative. But it is possible to obtain an easy definition for L’. Indeed, we may build the following diagram:
Related Figures (1)
Proof. In the following the diagram the two compositions (1 ® A)(Z @ I)A and