nLab extranatural transformation

Idea

Extraordinary natural transformations, or extranatural transformations, are what you get when you “bend the rules” for natural transformations. One intuitive approach to them is through string diagrams: every time you bend a string (that represents a component of a natural transformation) into a U-shape or upside-down U-shape, the U-shape represents a component of an extranatural transformation. Thus, the rules for extranatural transformations mirror rules for ordinary natural transformations, except they are bent into shapes with a covariant part and a contravariant part. (Cf. interactions between particles and their corresponding antiparticles.)

A transformation can also be ordinary-natural in some variables and extraordinary-natural in other variables. Sometimes this sort of transformation is called a generalized natural transformation. The late Max Kelly was fond of saying that really it’s all the same basic concept, however, so why proliferate terminology needlessly? So he would simply say a transformation was “natural” in all its arguments, both the “ordinary” and the “extraordinary” ones.

The calculus of natural and extranatural transformations is a very simple string diagram calculus; perhaps the most basic one. It was first introduced by Eilenberg, Kelly, and Mac Lane in the mid 60’s.

There is also a yet more general notion of dinatural transformation. However, there are few examples of dinatural transformations which are not extranatural. Also, unlike extranatural transformations, dinatural transformations cannot be generalized to all enriched categories and do not admit a natural string diagram calculus.

Examples

Consider the function set functor $\hom: Set^{op} \times Set \to Set$ (or more generally, the internal hom functor $\hom: V^{op} \times V \to V$ where $V$ is symmetric monoidal closed). The identity transformation $1: \hom \to \hom$ has components of the form

$$1_{x, y}: x^y \to x^y$$

and this of course is natural in each of the separate arguments $x, y$. String diagrammatically, this naturality would be represented by placing the domain over the codomain and linking the two instances of $x$ with a straight line and the two instances of $y$ with a straight line. Although it’s trivial, let’s at least record what naturality in say $y$ would mean: it means that for any morphism $g: y \to y'$ we have an equation of the form

(1)$$1_{x, y} x^g = x^g 1_{x, y'}: x^{y'} \to x^y$$

Now, the adjunction between tensor product and internal hom allow us to “bend” the transformation into another:

$$eval_{x, y}: x^y \otimes y \to x$$

in which the two instances of $y$ are linked by a U-shape. This gives a transformation which is natural in $x$ but not of course in $y$; rather, in $y$ we have an equation which is companion to (1):

(2)$$eval_{x, y} (x^g \otimes y) = eval_{x, y'} (x^{y'} \otimes g): x^{y'} \otimes y \to x$$

and we say in this case that $eval_{x, y}$ is extranatural in $y$. Notice how the extranatural variable $y$ in $eval_{x, y}$ appears once covariantly [in the tensor factor] and once contravariantly [in the exponent], but together on the same side of the arrow [here the domain]. (There is a nice string diagram picture for (2) which the reader might like to draw at this point.)

Thus we already see that $eval_{x, y}$ is a “generalized natural” transformation, involving a mixture of naturality (in $x$) and extranaturality (in $y$).

The basic idea should now be clear, but let’s give a few more examples. Starting with the identity transformation

$$1_{x, y}: x \otimes y \to x \otimes y$$

we can again bend it using the tensor-hom adjunction to form an arrow

$$coeval_{x, y}: x \to (x \otimes y)^y$$

where again $y$ appears once covariantly and once contravariantly, this time on the codomain side. The extranaturality in $y$ is the condition

$$(x \otimes g)^{y} coeval_{x, y} = (x \otimes y')^g coeval_{x, y'}$$

for every arrow $g: y \to y'$.

As these examples indicate, instances of ordinary naturality are typically transferred into instances of extranaturality by means of adjunctions. Indeed, basic instances of U-shapes or upside-down U-shapes in string diagrams come about through counits and units of adjunctions,

$$\varepsilon: F U \to 1 \qquad \eta: 1 \to U F$$

Formalization

Let $F\colon A\times B\times B^{op} \to D$ and $G\colon A\times C\times C^{op}\to D$ be functors. A family of morphisms

$$\alpha_{a,b,c}\colon F(a,b,b) \to G(a,c,c)$$

for $a\in A$, $b\in B$, and $c\in C$ is said to be natural, or more precisely ordinary-natural in $a$ and extranatural in $b$ and $c$, if the following hold.

• For all $f\colon a\to a'$ in $A$ and all $b\in B$ and $c\in C$, the following square commutes (ordinary naturality in $a$):
  $$\array{&F(a,b,b) & \overset{F(f,1,1)}{\to} & F(a',b,b) &\\ ^{\alpha_{a,b,c}} &\downarrow && \downarrow & ^{\alpha_{a',b,c}}\\ &G(a,c,c)& \underset{G(f,1,1)}{\to} & G(a',c,c) &}$$
• For all $g\colon b\to b'$ in $B$ and all $a\in A$ and $c\in C$, the following square commutes (extranaturality in $b$):
  $$\array{&F(a,b,b') & \overset{F(1,1,g)}{\to} & F(a,b,b) &\\ ^{F(1,g,1)} &\downarrow && \downarrow & ^{\alpha_{a,b,c}}\\ &F(a,b',b')& \underset{\alpha_{a,b',c}}{\to} & G(a,c,c) &}$$
• For all $h\colon c\to c'$ in $C$ and all $a\in A$ and $b\in B$, the following square commutes (extranaturality in $c$):
  $$\array{&F(a,b,b) & \overset{\alpha_{a,b,c}}{\to} & G(a,c,c) &\\ ^{\alpha_{a,b,c'}} &\downarrow && \downarrow & ^{G(1,h,1)}\\ & G(a,c',c') & \underset{G(1,1,h)}{\to} & G(a,c',c) &}$$

It is convenient to draw “string diagrams” specifying in what variables a transformation is natural and extranatural. For instance, the above transformation can be notated in this way:

Similarly, a transformation from $f\colon (A,B,A^{op},C^{op}) \to X$ to $g\colon (C^{op},B,D^{op},D) \to X$ which is natural in $B$ and $C^{op}$ and extranatural in $A$ and $D$ would be notated in this way:

Extranatural calculus

We set down a few basic lemmas which describe how extranatural transformations compose. These lemmas become very intuitive once one draws string diagrams to accompany them. (Cf. “yanking moves” in the string diagram calculus of adjunctions.)

Lemma 1 (“stalactites”)

Let $F \colon C^{op} \times C \to D$ and $G \colon \underbrace{C^{op} \times C \times \cdots \times C^{op} \times C}_{2n} \to D$ be functors. If $\alpha_{x, y_1, \ldots, y_{n-1}, z} \colon F(x, z) \to G(x, y_1, y_1, \ldots, y_{n-1}, y_{n-1}, z)$ is natural in $x,z$ and extranatural in $y_1, \ldots, y_{n-1}$, and $\beta_{y_1, \ldots, y_n} \colon G(y_1, y_1, \ldots, y_n, y_n) \to H$ (for some object $H$ of $D$) is extranatural in $y_1, \ldots, y_n$, then

$$\beta_{\underbrace{x, \ldots, x}_{n}} \alpha_{\underbrace{x, \ldots, x}_{n+1}}: F(x, x) \to H$$

is extranatural in $x$.

Lemma 2 (“stalagmites”)

Let $G \colon \underbrace{C^{op} \times C \times \cdots \times C^{op} \times C}_{2n} \to D$ and $H \colon C^{op} \times C \to D$ be functors. If $\alpha_{y_1, \ldots, y_n} \colon F \to G(y_1, y_1, \ldots, y_n, y_n)$ (for some object $F$ of $D$) is extranatural in $y_1, \ldots, y_n$, and $\beta_{x, y_1, \ldots, y_{n-1}, z} \colon G(x, y_1, y_1, \ldots, y_{n-1}, y_{n-1} ,z) \to H(x,z)$ is natural in $x, z$ and extranatural in $y_1, \ldots, y_{n-1}$, then

$$\beta_{\underbrace{x, \ldots, x}_{n+1}} \alpha_{\underbrace{x, \ldots, x}_{n}} \colon F \to H(x, x)$$

is extranatural in $x$.

Lemma 3 (“yanking”)

Let $F, H$ be functors of the form $C \to D$, and let $G: \underbrace{C \times C^{op} \times C \times \ldots \times C^{op} \times C}_{2n+1} \to D$ be a functor. If $\alpha_{x, y_1, \ldots, y_n} \colon F(x) \to G(x, y_1, y_1, \ldots, y_n, y_n)$ is natural in $x$ and extranatural in $y_1, \ldots, y_n$, and if $\beta_{y_1, \ldots, y_n, z} \colon G(y_1, y_1, \ldots, y_n, y_n ,z) \to H(z)$, is natural in $z$ and extranatural in $y_1, \ldots, y_n$, then

$$\beta_{\underbrace{x, \ldots, x}_{n+1}} \alpha_{\underbrace{x, \ldots x}_{n+1}}: F(x) \to H(x)$$

is natural in $x$.

In fact, these lemmas essentially capture “all possible” ways in which extranatural transformations can be composed. The general statement, which is obtained by combining these, is that if the graphs representing the two transformations can be composed without creating any cycles, then the transformations can be composed. In some detail, if there are no cycles in the composed graph, then it can be shown that each connected components has one of the forms of the compositions in Lemma 1-3. It then follows from the lemmas (and from the fact that extranaturality can be determined by separation of variables) that each connected component can be replaced by a single edge, and the resulting graph defines the type of the composed transformation.

This can be found in the original paper about extranatural transformations:

• Eilenberg and Kelly, A generalization of the functorial calculus, J. Algebra 3 366–375 (1966)

With the operation of “loop-free composition,” extranatural transformations with a given target form a paracategory. And as we vary the source and target categories, they assemble into an extraordinary 2-multicategory?.

Profunctors

One abstract way to describe the structure of extranatural transformations is as an extraordinary 2-multicategory?. Another abstract structure, which arguably arises more naturally in practice (but also includes more data than necessary), is a compact closed monoidal bicategory, double category, or proarrow equipment.

More should go here, but for now see compact closed double category.

Related concepts

• bifunctor

• Kelly-Mac Lane graph

• proof net

• homotopy

• transfor

  • natural transformation

    • extranatural transformation, dinatural transformation

  • pseudonatural transformation

    • pseudo-extranatural transformation

  • lax natural transformation

• end

References

• Samuel Eilenberg, G. Max Kelly, §III.5 of: Closed Categories, in: Proceedings of the Conference on Categorical Algebra - La Jolla 1965, Springer (1966) 421-562 [doi:10.1007/978-3-642-99902-4]

• Samuel Eilenberg, G. M. Kelly, A generalization of the functorial calculus, J. Algebra 3&& 3 (1966) 366-375 [doi]

• Max Kelly, Saunders MacLane, Coherence in closed categories, JPAA 1 (1971) 97-140 [doi]

A generalization to pseudonatural transformations can be found in

• J.C. Vidal, J.S. Tur, A 2-categorial generalization of the concept of institution, Studia Logica, 2010 doi
• Alexander S. Corner, A universal characterisation of codescent objects, TAC 34:24, 2019.