A -transfor is an operation from one -category to another (for some value of ) that takes objects of to -morphisms of (and more generally -morphisms in to -morphisms in ) in a coherent way. Equivalently, a -transfor is a -cell in an internal-hom -category. Transfors are a common generalisation of:
The word “transfor” was coined by Sjoerd Crans in this paper; it is a portmanteu of “functor” and “transformation.” A collection of components which forms a transfor is said to be transforial, as a generalization of “functorial” and “natural.”
Once upon a time, there were categories, functors between them, and natural transformations between them. Then when -categories came along, people called the arrows between them ‘-functors’ even though one could just as easily say ‘functors’. In the same vein, people said ‘-transformations’ for natural transformations (that is, 2-transfors) between -categories. At the same time, we saw that we needed modifications between -transformations, and that there would have to be things between higher modifications, and so on. However, due to the prior use of “-transformation” for a 2-transfor between -categories, the natural choice “-transformation” is unavailable to mean a -transfor.
Here are some other possible terms for a -transfor between -categories, which additionally notate the value of (although this is, strictly speaking, unnecessary).
We haven't gotten around to saying anything precise yet, but you can see something in the discussion below, or in Crans's paper.
See this periodic table of -transfors between -categories for common names for low values of and . On the -Lab, we tend to omit the prefix - whenever possible (as ironic as that may be).
|$1$||trivial||equality of functions||natural transformation||$2$-transformation||$3$-transformation||...|
|$2$||\"||trivial||equality of natural transformations||modification||$3$-modification||...|
|$3$||\"||\"||trivial||equality of modifications||perturbation||...|
|$4$||\"||\"||\"||trivial||equality of perturbations||...|
Note that the source and target of a -transfor (between -categories) are -transfors (between the same -categories). Given two fixed source and target -transfors, the -transfors between them (and the -transfors between those, and so on) form an -category.
This discussion was originally at modification. It discusses both terminology and definitions.
Finn: There is a pattern here: functors are indexed collections of objects, natural transformations are i.c.s of 1-cells, modifications i.c.s of 2-cells; and these are what make the collection of all -categories into an -category, for anyway. Any references for the pattern in higher dimensions?
Toby: Do you mean for the terminology or for the appropriate coherence laws? (the details that you've been leaving out). Not that I have either …
Incidentally, I corrected ‘function’ to ‘functor’ in you question above; I hope that's OK.
Finn: I meant terminology and/or an explanation for arbitrary (which Urs gives below).
Actually I was thinking of functions rather than functors, as they are the 1-cells in . But of course functions are just functors between discrete categories, and thinking of them as the latter probably makes more sense when moving to higher dimensions.
Toby: Now, I would either have said ‘functors are indexed collections of objects’ or ‘functions are indexed collections of elements’; your mixture confused me! (^_^)
Finn: Ah! Point taken. In any case, I should have said ‘0-cell’ instead of ‘object’. But I think ‘functor’ is better anyway, as I said.
In its most general form, consider an infinity-category modeled as a simplicial set with certain properties. Being a simplicial set, this is a presheaf on the simplex category. Hence for and such -categories, the -category of morphisms between them corresponds to the internal hom simplicial set
This simple formula encodes that pattern that Finn observed. It says that:
functors (the 0-cells in ) are just maps from cells to cells;
natural transformations (the 1-cells in ) are maps . Notice that is the interval object in (or at least its Kanification is, but never mind that for the moment). Such maps send -cells in to -cells in .
modifications are maps , that map -cells in to -cells in .
It may be helpful to realize the same pattern in the globular context of, for instance, strict omega-category. These are certain presheaves not on the simplex category but on the globe category, but the pattern is the same: the internal hom strict -category of morphisms between strict -categories and is
where now the tensor product appearing is no longer the cartesian one but the Crans-Gray tensor product and where is the standard globular -globe. Again is a model for the interval object and we see that
functors are morphisms ;
transformations are morphisms
modifications are morphisms
etc. Same logic as before.
When thinking about this, it may be useful to explicitly apply the hom-adjunction everywhere and think for instance of a natural transformation as a morphism
from into the “category of cylinders in ”. This is maybe the most intuitive way: if for instance happens to be just a 2-category, then this says that a transformation between functors between 2-categories is a 1-functor from the 1-category underlying to the category of cylinders in (satisfying some property). Which is exactly what it is, in components.
When in a certain mood, I like to think of this basic fact, that -fold transformations between -functors are essentially (in components) -functors with values in -cylinders as the “holographic principle” in category theory. That may sound a bit silly, but it is true that in the case the -functors in questions are -functors on respresenting -dimensional quantum field theory, then teir transformations, being -functors, represent -dim QFT, and this relation between higher and lower dim QFT is called “holography” in phyiscs.
Toby: Unfortunately, ‘-transformation’ already (following ‘-functor’) means a transformation between functors between -categories. See Cheng–Gurski for this, along with ‘-modification’ and even ‘-perturbation’ (gee, that doesn't conflict with anything else, does it?), along with the claim that there is ‘no existing terminology’ thereafter.
I would probably say ‘-morphism in ’ (possibly with two different values of ); you can use ‘-cell’ in place of ‘-morphism’ if you like. But it would be nice to find something more specific that's not already taken. Or we could just throw out the Cheng–Gurski meaning of ‘-transformation’; although it's not unique to them, it may not be too entrenched yet.
(But please let a transformation be a -transformation, even though it is a -morphism.)
Todd: I think what Urs and Crans both may be suggesting is that, at least in the context of strict - and -categories, there is a uniform notion of “transformation of depth k between n-functors”, or just -transformations, where -transformations are usual transformations between -functors, -transformations are modifications, and so on. Surely this usage won’t conflict with Cheng-Gurski.
Toby: Yeah, that would work, so we could write (n,k)-transformation. My only disgruntlement is that the is superfluous; the problem is all those other people that are already using it and preventing us from unambiguously saying simply ‘-transformation’!
Finn: Probably tiros like me shouldn’t have a say in this sort of thing, but I would tend to agree with Toby here, that the is at least more interesting than the , in that you’re more likely to vary the values of than those of . However, typing the few extra characters does seem a small price to pay to avoid horrible confusion. I slightly reluctantly vote for .
Todd: I’m not crazy about it either, but I agree it’s a small price. I’ll note (in case it helps) that in the general theory of Crans-Gray tensor products, both variations in and come up, about equally often (e.g., the tensor of a 1-category and an -category is an -category).
Urs: yes, so to summarize what I think the main points are
there is a systematic notion of “transformation of depth k between n-functors” for geometric definition of higher category in terms of simplicial sets;
the corresponding notion in the (strict) globular context is formalized by Crans’ construction;
unwrapping what this says, it yields in particular that a transformation of depth between strict globular -categories and is an -functor from the truncation of to an -category (throwing all higher cells away) to the -category of -globes in (also truncated)
satisfying certain naturality conditions (which ensure precisely that extends uniquely to an -functor ).
JCMcKeown: not meaning to cause annoyance, but how about calling them “-transformations”, owing to their incrementing dimensions by ; or if we don’t like the prefix, one might call them -vexilors, because they tend to generate flags of period .
Toby: Interesting; can you explain more about how they generate flags? (Maybe that's something to put in a new section here, or you could just give a reference.)
JCMcKeown: Just from reading above “… and more generally -morphisms in to -morphisms in ”… ahah! Now I see what you’re getting at. I’ve got my head fixed on endo-functors; where if you wanted to (I don’t mean it’s a good idea. Who knows?) you can consider iterations of the underlying function that is the -transformation.
Mike Shulman: FWIW, Sjoerd Crans has called these things k-transfors, and speaks of something being transforial as a general term including both “functorial” and “natural.”
Toby: I'm inclined to say that we should go with that!
Mike Shulman: I’m not sure how serious you are… but I’ve always thought it was a proposal that deserved to be taken more seriously than it seems to have been. The reference is “Localizations of Transfors,” K-Theory 2004 (I can’t find a free version online).
Toby: I'm perfectly serious. The term should be indexed primarily by , with only if one really insists. I didn't want to make up my own word, but if Crans has published one, then why not use it? I should be able to check that reference the next time that I visit the UCR library (about once a week).
Mike Shulman: No argument here (about indexing by ). Also -transformation sounds to me like something to do with (n,r)-categories, but there of course the comma denotes something completely different.
Todd Trimble: I like -transfor.
I would like to also mention ‘-transformation’ (or maybe ‘--transfor’?) as a possible term, however, since some people might want to specify just as some people like to say ‘-functor’.
Toby: One could also say ‘-natural -transformation’, which fits (what Crans claims on page 2 to be standard) ‘-natural transformation’ for a strict -transformation. But I still like ‘-transfor’ when is suppressed (which should be the default).
Mike: What about “-categorical -transfor” if it is necessary to specify ?
Toby: That works too. (Well, I don't like ‘categorical’, but that's a separate issue.)