pseudocommutativity of a natural transformation

1. Proposition

Let 20230404120551-pseudo_commutativity_of_a_natural_transformation_2d5d1c2bfbb1a2fca757f722875cd0787290c048.svg be categories, 20230404120551-pseudo_commutativity_of_a_natural_transformation_a0d52694c862221d9b8a7eb8a7622c2a2b5d4ec4.svg be functors and 20230404120551-pseudo_commutativity_of_a_natural_transformation_68cc53eda859d3f74f81c26289b81ddccb296932.svg a natural transformation Then 20230404120551-pseudo_commutativity_of_a_natural_transformation_aa699af8b052820cdd98bf8bee54004084151ed7.svg pseudo-commutes with 20230404120551-pseudo_commutativity_of_a_natural_transformation_f1aeb1ac71cce52f443892bfa958e0fd4a349772.svg and 20230404120551-pseudo_commutativity_of_a_natural_transformation_ab6375d883249cb216e6b08b3a65145c67c490c0.svg, i.e. for 20230404120551-pseudo_commutativity_of_a_natural_transformation_c508a3c1907b6973a484f4006bb2faa2468d9d82.svg

20230404120551-pseudo_commutativity_of_a_natural_transformation_db4ce0f5256c94b91f95f2cbc3ba170614dd8c60.svg

2. Proof

Definition of naturality, where

20230404120551-pseudo_commutativity_of_a_natural_transformation_cd2b95a9d4d995e36f6ab04c980972193af15b51.svg

Date: nil

Author: Anton Zakrewski

Created: 2024-10-11 Fr 22:21