nLab
extranatural transformation

Contents

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×SetSet\hom: Set^{op} \times Set \to Set (or more generally, the internal hom functor hom:V op×VV\hom: V^{op} \times V \to V where VV is symmetric monoidal closed). The identity transformation 1:homhom1: \hom \to \hom has components of the form

1 x,y:x yx y1_{x, y}: x^y \to x^y

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

(1)1 x,yx g=x g1 x,y:x yx y 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 yyxeval_{x, y}: x^y \otimes y \to x

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

(2)eval x,y(x gy)=eval x,y(x yg):x yyx 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,yeval_{x, y} is extranatural in yy. Notice how the extranatural variable yy in eval x,yeval_{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,yeval_{x, y} is a “generalized natural” transformation, involving a mixture of naturality (in xx) and extranaturality (in yy).

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

1 x,y:xyxy1_{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(xy) ycoeval_{x, y}: x \to (x \otimes y)^y

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

(xg) ycoeval x,y=(xy) gcoeval x,y(x \otimes g)^{y} coeval_{x, y} = (x \otimes y')^g coeval_{x, y'}

for every arrow g:yyg: 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,

ε:FU1η:1UF\varepsilon: F U \to 1 \qquad \eta: 1 \to U F

Formalization

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

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

for aAa\in A, bBb\in B, and cCc\in C is said to be natural, or more precisely ordinary-natural in aa and extranatural in bb and cc, if the following hold.

  • For all f:aaf\colon a\to a' in AA and all bBb\in B and cCc\in C, the following square commutes (ordinary naturality in aa):
    F(a,b,b) F(f,1,1) F(a,b,b) α a,b,c α a,b,c G(a,c,c) G(f,1,1) G(a,c,c) \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:bbg\colon b\to b' in BB and all aAa\in A and cCc\in C, the following square commutes (extranaturality in bb):
    F(a,b,b) F(1,1,g) F(a,b,b) F(1,g,1) α a,b,c F(a,b,b) α a,b,c G(a,c,c) \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:cch\colon c\to c' in CC and all aAa\in A and bBb\in B, the following square commutes (extranaturality in cc):
    F(a,b,b) α a,b,c G(a,c,c) α a,b,c G(1,h,1) G(a,c,c) G(1,1,h) G(a,c,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:

<!-- Created with SVG-edit - http://svg-edit.googlecode.com/ --> Layer 1 A B B A C C op op

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

<!-- Created with SVG-edit - http://svg-edit.googlecode.com/ --> Layer 1 A B A C C B D D op op op op

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,GF, G be functors of the form C op×CDC^{op} \times C \to D. If α x,y:F(x,y)G(x,y)\alpha_{x, y}: F(x, y) \to G(x, y) is natural in x,yx, y and β x:G(x,x)H\beta_x: G(x, x) \to H is extranatural in xx (for some object HH of DD), then

β xα x,x:F(x,x)H\beta_x \alpha_{x, x}: F(x, x) \to H

is extranatural in xx.

Lemma 2 (“stalagmites”)

Let G,HG, H be functors of the form C op×CDC^{op} \times C \to D. If α x:FG(x,x)\alpha_x: F \to G(x, x) is extranatural in xx (for some object FF of DD) and β x,y:G(x,y)H(x,y)\beta_{x, y}: G(x, y) \to H(x, y) is natural in x,yx, y, then

β x,xα x:FH(x,x)\beta_{x, x} \alpha_x: F \to H(x, x)

is extranatural in xx.

Lemma 3 (“yanking”)

Let F,HF, H be functors of the form CDC \to D, and let G:C×C op×CDG: C \times C^{op} \times C \to D be a functor. If α x,y:F(y)G(x,x,y)\alpha_{x, y}: F(y) \to G(x, x, y) is natural in yy and extranatural in xx, and if β x,y:G(x,y,y)H(x)\beta_{x, y}: G(x, y, y) \to H(x) is natural in xx and extranatural in yy, then

β x,xα x,x:F(x)H(x)\beta_{x, x} \alpha_{x, x}: F(x) \to H(x)

is natural in xx.

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 closed loops, then the transformations can be composed, and the resulting graph is the composite of the individual graphs. 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 an compact closed monoidal bicategory, double category, or proarrow equipment.

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

Revised on February 8, 2014 15:16:53 by Urs Schreiber (89.204.139.189)