- In
category theory, a
branch of mathematics, a
dinatural transformation α {\displaystyle \alpha }
between two
functors S , T : C o p × C → D , {\displaystyle...
- C\right]\right]}
natural in B {\displaystyle B} and C {\displaystyle C} and
dinatural in A {\displaystyle A} , and a
fixed object I {\displaystyle I} of C {\displaystyle...
- {C} ^{\mathrm {op} }\times \mathbf {C} \to \mathbf {X} } is a
universal dinatural transformation from an
object e of X to S. More explicitly, this is a...
-
transformations can be
defined in
terms of
dinatural transformations, of
which they are a
special case.
Dinatural transformation Eilenberg and Kelly, A generalization...
- Y'}^{U}((g\otimes \mathrm {id} _{U})\circ f)=g\circ \mathrm {Tr} _{X,Y}^{U}(f)}
dinaturality in U {\displaystyle U} : for
every f : X ⊗ U → Y ⊗ U ′ {\displaystyle...
