Where a natural transformation has a commuting naturality square, a lax natural transformation has a 2-morphism filling that square. If that 2-morphism is required to be invertible, one speaks of a pseudonatural transformation, and if it is required to be an identity (which implies that the square commutes), then one speaks of a strict 2-natural transformation? (this latter notion only really makes sense for strict 2-functors between strict 2-categories).
for each a -cell in , as usual
for each in a 2-cell
for each , the are the components of a (strict) natural transformation
the assignment behaves sensibly with respect to identities and composition (see the references for details).
An oplax natural transformation is as above, only with the -cells reversed. This distinction is not entirely consistent in the literature; see the discussion of terminology below.
In all of these cases, the word ‘natural’ is often dropped for brevity.
Pushing it up a notch, for 2-categories and we have hom-2-categories , , and whose objects are 2-functors (generally taken to be strong or strict), whose morphisms are lax, pseudo, or oplax transformations respectively, and whose 2-cells are modifications. These hom-2-categories are the internal homs for the various version of the Gray tensor product on .
Finally, there is a 3-category consisting of 2-categories, (strong or strict) 2-functors, pseudo-natural transformations, and modifications. No laxness is possible at this level (without “laxifying” the notion of 3-category).
The choice of which direction to call “lax” and which to call “oplax” is not made consistently in the literature. The convention used above is Benabou’s original choice, as well as that of Leinster, Borceaux, and the majority of Australian writing on category theory. However, some references, such as the Elephant, make the opposite choice. One or two references use “left lax” and “right lax” instead.
It is arguably the case that the direction we call “oplax” occurs more commonly in practice. For instance, icons are a special sort of oplax transformations (although if “lax” and “oplax” were switched, then the acronymic derivation of the word “icon” would no longer work). Likewise, when monoidal categories are viewed as one-object 2-categories, monoidal natural transformations are special oplax transformations (in fact, they are precisely the icons).
On the other hand, the convention used above (besides having a little more weight of tradition) has the advantage that there is a 2-monad whose algebras are 2-functors, and for which lax and oplax algebra morphisms are precisely lax and oplax transformations, respectively, under this convention. Thus, for instance, theorems such as doctrinal adjunction can be applied to lax and oplax transformations without needing to switch back and forth between two different meanings of “lax.”
How consistent are different authors in this convention? Should we include a warning —or for that matter, a reassurance? —Toby
Finn: I don’t know myself, but back in May (see end of page) Jonas Frey said ‘Johnstone in the elephant and Gurski in his PhD-thesis for example use an other orientation than Leinster and Borceux in their books’. The one above is Leinster’s. I haven’t seen any of the other references.
Toby: OK, I just checked the Elephant, and it is reverse.
Todd: My own impression is that Leinster and Borceux are in the minority here, and that a bigger warning may be warranted. I think for instance that Johnstone is on the side of most Australians, who after all have done the most work in this area.
My own convention is that of Street: the arrow orientations in a product of parity complexes is to follow the usual sign conventions for chain complexes. For example, if I write instead of , and for ‘source’ and for ‘target’, and interpreting ‘+’ as union, then for we would have
so accordingly, since , the set of source cells of would be , if you follow my drift. Street’s rule of thumb then is that ‘lax’ would follow this “normal” order, and ‘colax’ the opposite.
Toby: I didn't want to say anything before, but my own intuition follows Todd's logic.
Mike Shulman: Actually, my impression is that Leinster and Borceaux (specifically, the convention ) are on the side of the Australians. See for instance p189 of Kelly, “On Clubs and Doctrines” in the Sydney Category Seminar reports. It’s also the one originally used by Benabou. And the acronymic derivation of the word icon depends on using this convention.
I also think there is a very good reason to use that convention. Namely, given a small 2-category , there is a 2-monad, say , on , whose algebras are functors and such that a lax -morphism, in the general sense of 2-monad theory, is a lax natural transformation with this convention. Ideally there would be a general rule which we could apply in any given situation to decide which direction should be called “lax” and which “oplax;” this doesn’t quite seem to be the case, but 2-monad theory covers the vast majority of cases, so I think we should stick to it whenever possible.
This isn’t just for consistency and predictability, but so that we can apply theorems of 2-monad theory without having to worry about the words being swapped around on us. For example, doctrinal adjunction says that given a 2-monad on a 2-category , two -algebras and , and an adjunction in , to give the left adjoint the structure of a colax -morphism is the equivalent to giving the right adjoint the structure of a lax -morphism. This is one of those insufficiently-well-known facts that is frequently rediscovered in special cases. For instance, given an adjunction between monoidal categories, to make the left adjoint a colax monoidal functor is the same as to make the right adjoint a lax monoidal functor. And if I have a lax natural transformation such that each component has a left adjoint, then those left adjoints automatically form an oplax natural transformation. I think this would be unutterably confusing if “lax natural transformations” were the oplax -morphisms.
Todd Trimble: I got around finally to consulting Ross Street about this, and Steve Lack also entered the discussion. I think you may be right (Mike) and I wrong about which is more common in Australia; certainly Kelly for example goes along with Bénabou.
However, the feelings about that in Australia may be slightly less sanguine then yours. Ross says he has at times felt this was the wrong direction (see for example Coherence for Tricategories, where the direction goes the other way). For example, the direction for monoidal natural transformations is the reverse of Bénabou’s. When Ross asked Steve if his opinion on this were strong or lax, he replied:
“I don’t think I’d say I have a strong opinion.
“I agree that the ‘other’ direction (what has in Australia been called oplax, and which Todd recalls below) seems to be more important (e.g. prevalence of oplax limits/colimits, fact that they generalize monoidal transformations). I also feel that there is probably no perfect system - just as there no perfect system out which things are op and which are co.
“My ‘limits for lax morphisms’ suggests that there is a mismatch: 2-categories of lax morphisms have oplax limits, but again I think that if this were fixed something else would pop out elsewhere. For instance you can describe oplax naturals as being oplax morphisms somewhere or other.
“If oplax naturals were no longer called oplax naturals then the name icon would become odd (or should that be even odder) but part of the point of naming it was to get away these issues, so I don’t think that is too serious.” (End of Steve’s email)
(Incidentally, I don’t know or have forgotten this ‘icon’ business. What does it stand for, again?)
Ross summarized his feelings by emphasizing the wisdom of being flexible in these matters. Both directions arise and are important.
Ross also mentioned that the lax terminology began with the paper “Two constructions on lax functors”, where the transformations in Bénabou’s direction were dubbed “left lax”, and the ones in the other “right lax”. Perhaps we could use this terminology ourselves to avoid confusion, and cite this paper as reference. Your thoughts?
Mike Shulman: I don’t really understand the point of view that “the more important” direction should be called lax and “the less important” direction oplax. Are limits called “limits” rather than “colimits” because they’re “more important”? I wouldn’t say so—it’s just that we need to have some convention about which one gets the prefix. As Ross said, both directions arise and are important, but that doesn’t mean we should be inconsistent in naming them. (Maybe inconsistency isn’t what he means by “being flexible,” but then I don’t know what he means.) Wouldn’t it be confusing if the word “limit” meant either (what we now call) “limit” or “colimit” depending on which one a particular author cared more about at the moment? And there are so many other really poor choices of terminology in mathematics, that I’m surprised people choose to fight a battle about the positioning of an “op.”
Speaking for myself, “left lax” and “right lax” would confuse me more. How do I remember which is which? Neither one looks particularly “left” or “right” to me.
Todd: Well, it’s not that I really care to argue about it that much. As a matter of historical record we do have different conventions appearing in the literature, and you seemed to be plumping for one of those conventions earlier. Now I can’t tell: it looks as though you’re now saying that the convention is arbitrary, but we should stick with the original (which is Benabou’s).
Linguistically, ‘oplax’ would be considered as a term derived from ‘lax’, so I think a natural tendency for people is to apply the primary term to whatever situation they feel is the more dominant. I think that’s what Ross must have meant when he said that he’s sometimes felt Benabou’s direction is the “wrong” one. (I’m not sure if that applies to limit/colimit; in one sense, colimits could be considered secondary because their definition in the enriched context can be seen as based on hom functors hom(-, c) taking them to ordinary limits in the base of enrichment.)
Perhaps I shouldn’t speak for Ross, but I know him a bit, and I think by ‘flexible’ he means not being too doctrinaire about these things – his tendency would be to state at the outset of a paper “by lax transformation we mean…” and specify the direction clearly. He’s bounced back and forth; apparently he feels the convention is not so strongly established yet that he needs to fix it once and for all, the important thing is to maintain consistency throughout a paper (or talk). But maybe you should ask him next time you see him, if you feel strongly about this.
So I’m guessing that Ross and Steve are tolerant and non-fussed about this particular issue, and they in particular are not the ones who battle over things like ‘co’ and ‘op’.
Anyway, this whole discussion started only to sound a warning to the reader that conventions do differ in the literature. Note that I never said we should change the entry, and the arguments put forth for my own preference were not to start an argument. There are good arguments on both sides.
Mike Shulman: I’m sorry if I sounded too argumentative; I didn’t mean to. What I meant was that I’m surprised people have tried to change Benabou’s original terminology at all. I believe it was Jaap van Oosten who wrote that “the only thing worse than bad terminology is continually changing terminology.” Benabou did use some terminology quite worthy of being changed, like “morphism” and “homomorphism” for “lax 2-functor” and “strong 2-functor” respectively, but switching the meanings of “lax” and “oplax” seems like engendering a lot of confusion for very little gain, when the only argument in favor of it is that oplax ones are (maybe) more common. On top of this, the argument about 2-monads is a positive reason to prefer Benabou’s choice.
Anyway, in terms of productive work, I expanded the entry somewhat to include a warning to the reader about the different choices that exist and a summary of the reasons for making either choice. Feel free to improve it.
Todd: I think you’ve certainly made a good start. Thanks for writing this up.
Given a bicategory , a lax functor and a -cell , there are adjoint functors
such that . Here is the image of under the bicategorical Yoneda embedding.
For , let be the lax transformation defined by . The components
for in are given by ‘s comparison map . The coherence conditions follow from those on wrt the associator and left unitor of . For in , is a modification because is a natural transformation (i.e. 2-cell in ).
Let as usual. For a modification, .
The unit at is the component of ‘s comparison map, which is natural in by definition. The counit is obtained via the usual 1-chasing, and is given in components by
where is the right unitor of . Some diagram-chasing confirms that this is indeed natural in everything, and so .
The triangle identities may be proved by expanding the definitions above and using the coherence conditions on lax functors and transformations and coherence of .
See Gray for the case strict 2-categories and strict 2-functors.
Finn: I don’t know how natural this is in and , but I’ll try to figure it out.
Also, if you reverse the definitions of lax and oplax transformations, then you should do the same for functors, and I think in that case .
Mike Shulman: Please don’t try to reverse the definitions of lax and oplax functors! As far as I know everyone is consistent about those, regardless of the choices they make about lax and oplax transformations, so let’s not create additional confusion. Lax functors have comparison maps that go .
See the references at 2-category. For instance
Note that both of these use somewhat outdated terminology.