Dinatural transformation

**Dinatural Transformation**

**Definition**
A dinatural transformation is a generalization of a natural transformation between functors, defined in the context of category theory. It relaxes the Czytaj dalej