Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

If functors are morphisms between categories, and natural transformations are morphisms between functors, what's a morphism between natural transformations? Is there ever a need for such a notion?

share|improve this question
add comment

4 Answers

up vote 10 down vote accepted

(Small) categories form what's called a 2-category, which is a structure that has objects, morphisms (functors), and morphisms between morphisms (natural transformations). There are also n-categories, which have a deeper morphisms structure. A google search will point you to a lot of references about n-categories. But for ordinary categories, the story ends at natural transformations.

share|improve this answer
add comment

The next one is called

modification.

Modifications between ordinary natural transformations between functors between categories are trivial, but they exist between

lax natural transformations

between 2-functors between 2-categories.

The next one after that is called perturbation : a perturbation goes between modifications between pseudonatural transformations between 3-functors between 3-categories.

Beyond that, no established terms exists. Instead one starts numbering things and speaks of

transfors.

n-Functors are 0-transfors.

Transformations are 1-transfors.

Modifications are 2-transfors.

Perturbations are 3-transfors.

And so on.

share|improve this answer
9  
Urgh. Is transfor an established term? :( –  Mariano Suárez-Alvarez Jul 21 '10 at 15:36
4  
I prefer to rearrange the terminology, and just have plain functors between n-categories, 2-functors between functors (so, in the n=1 case, 2-functors are the same as natural transformations), 3-functors between 2-functors, and so on. –  Scott Morrison Jul 21 '10 at 16:59
7  
This sort of reminds me of the naming of higher derivatives of position. We have velocity and acceleration which are common, then after that there are the increasingly obscure 'jerk' for the third derivative, and then 'snap', 'crackle', and 'pop' for the fourth, fifth, and sixth derivatives. –  Simon Rose Jul 21 '10 at 17:02
2  
Scott, the term n-functor is already widely established to mean a morphism between n-categories. –  Urs Schreiber Jul 21 '10 at 19:15
    
One could also say that an n-transfor is a directed homotopy of order n in the ambient whatever category of whatever categories. Cause in the case where all n-categories here are in fact n-groupoids / infty-groupoids, an n-transfor is nothing but an order n homotopy (under the identification of oo-groupoids with topological spaces). –  Urs Schreiber Jul 21 '10 at 19:17
show 3 more comments

One advantage of the abstraction of category theory is that one is not constrained to "concrete" objects and morphisms (I mean, made by set with a structure together with functions preserving it), and constructions of new categories from simpler ones are very easily performed. As a result, any further and more general categorical notion can always be read as a particular case of a simpler and more basic one, in a suitable category. Thus in the proper context, a morphism is an object; a natural transformation is a morphism; similarly, a universal arrow is a particular case of an initial object, which of course is a particular case of a universal arrow, and so on. So in a sense, there is no need of the notion of "morphism between natural transformations", just because it is already a particular case of a more basic notion already defined. In practice, several used categories (e.g. algebras; preshaves; chain complexes,...) are themselves categories of functors, where arrows are natural transformations. In this context a morphism between natural transformation naturally arises, even if it will be seen as just an ordinary morphism.

share|improve this answer
    
to whom downvoted: it would be more constructive if you exlpain your reasons; this way you'd give everybody the opportunity to learn something. –  Pietro Majer Sep 4 '10 at 8:09
add comment

This is not really a sophisticated answer as the other ones, but maybe it makes visible why higher structures are needed to get an interesting notion of morphism between natural transformations.

Assume $F,G : C \to D$ are functors and $\alpha, \beta$ are natural transformations $F \to G$. What could be a morphism $\alpha \to \beta$? Since $\alpha$ and $\beta$ consist of their components $\alpha(c) : F(c) \to G(c), \beta(c) : F(c) \to G(c)$, the only reasonable way of "connecting" these data in our category $D$ is by means of two morphisms $\gamma(c) : F(c) \to F(c), \delta(c) : G(c) \to G(c)$, so that the resulting diagram becomes commutative. Furthermore, $\gamma$ and $\delta$ should become natural transformations $F \to F, G \to G$.

But this comes from a more general concept, namely the arrow category: If $C$ is a category (in the above case, this is a functor category), its arrow category has as objects the morphisms of $C$ and a morphism between two morphisms $x \to y, x' \to y'$ is a pair of morphisms $x \to x', y \to y'$, making the obvious diagram commutative. This may be also described as the functor category $C^{\textbf{2}}$.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.