Dinatural Transformation

Let $C,D$ be a categories. Let $F,G:C^{op}\text{texttimes}C\to D$ be bifunctors. A dinatural transformation is a Natural Transformation between $F$ and $G$. It can be specified with just the diagonal maps.

See also

Profunctor

Sources

gylterud2011-symmetric-containers-thesis nlab

Duplicate Content 1

Let $C,D$ be a categories. Let $F,G:C^{op}\text{texttimes}C\to D$ be “bifunctors”. A dinatural transformation is a natural transformation between $F$ and $G$. It can be specified with just the diagonal maps.

See also

Profunctor