composition of natural transformations

1. Definition / Proposition

Let 20231017-composition_of_natural_transformations_as_natural_transformation_2d5d1c2bfbb1a2fca757f722875cd0787290c048.svg be categories, 20231017-composition_of_natural_transformations_as_natural_transformation_197a90cc1add1fdfda990a7314f373323aa90e9c.svg be functors and 20231017-composition_of_natural_transformations_as_natural_transformation_0319b9842073ee3581adfbe4bee3d0e08df24b3f.svg natural transformations Then the composition defined as

20231017-composition_of_natural_transformations_as_natural_transformation_19e690074116568c1ac85390232b8234e671635f.svg

Then the

20231017-composition_of_natural_transformations_as_natural_transformation_228aa61b67b307d5881ce77ee96a2cb40df0378a.svg

2. Proof

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 18:39