Two Dimensional Monadicity
Posted by Mike Shulman
(guest post by John Bourke)
This blog is about my recent preprint Two dimensional monadicity which is indeed about two dimensional monadicity. However, the monadicity theorems are an application, and the paper is really about how the weaker kinds of homomorphism that arise in 2-dimensional universal algebra — like strong, lax or colax monoidal functors between monoidal categories — are unique in satisfying certain properties. These properties relate the weak homomorphisms with the more easily understood strict homomorphisms and so are -categorical, rather than 2-categorical, in nature. If you want to understand what I mean then read on.
I said that we will want to talk about the relationship between strict and weak morphisms — as such it will be useful to view both kinds of morphism as belonging to the same overarching structure. The right kind of structure is that of an -category — introduced by Steve Lack and Mike Shulman and blogged about by Mike previously — so let us begin by recalling these.
-categories
An -category is a very simple thing: it is just a 2-category, whose morphisms are called loose, together with a specified subcollection of tight morphisms closed under composition and containing the identities. We typically write for the whole 2-category — the 2-category of loose morphisms — and for the sub 2-category containing the tight morphisms together with all 2-cells between them. We write for the inclusion 2-functor which views tight morphisms as loose. Here are a few examples.
- Between monoidal categories are strict, strong, lax and colax monoidal functors and monoidal transformations. These can be combined into a variety of -categories. For our main example I’ll focus on the -category of monoidal categories, strict and lax monoidal functors — the inclusion of its 2-category of tight morphisms into its 2-category of loose ones is the 2-functor which views strict monoidal functors as lax.
- But we also have the -categories of strict and strong monoidal functors, and of strict and colax monoidal functors and of strong and lax ones and so on.
- Likewise given a 2-monad on a 2-category (I mean a 2-monad in the strictest possible sense) we have strict -algebras, strict, pseudo, lax and colax -algebra morphisms and algebra transformations. These give rise to a number of different -categories such as the -category of strict and lax algebra morphisms. Its inclusion of tight into loose morphisms is the inclusion .
- Any 2-category can be viewed as an -category (I denote this -category by too) in which the tight and loose morphisms coincide. The inclusion of tight into loose morphisms is then just the identity . In this way we can view 2-categories as special -categories.
We also need to talk about -functors. An -functor is a 2-functor which preserves tight morphisms. In other words a 2-functor which restricts to a 2-functor as in the commuting diagram These are the morphisms of the category of -categories -. Here are some examples.
An -functor to a 2-category (viewed as an -category) just looks like a commutative triangle of 2-functors as on the left below. See how monoidal categories, strict and lax monoidal functors sit over for instance. Thus we have a forgetful -functor with tight and loose parts and .
Likewise given a 2-monad on a 2-category we have a forgetful -functor .
An -functor from a 2-category is a triangle too, like left below: Given any -category we have an inclusion -functor drawn on the right above (yes, I’ve been calling it too!).
An -functor between 2-categories viewed as -categories is just a 2-functor — in this way the 2-categorical world sits inside that of -categories.
Note how given an -functor to a 2-category the composite left below equals the 2-functor . Thus the entire -category lies in the middle of a factorisation of a 2-functor viewed as an -functor. These factorisations are the key to everything I want to say, but first we need to talk about doctrinal adjunction.
Doctrinal adjunction
When people speak of doctrinal adjunction, in the context of monoidal categories, they often refer to the fact that lax monoidal structures on a right adjoint functor correspond to colax monoidal structures on its left adjoint. This is neither a 2-categorical nor an -categorical phenomenon in that lax and colax monoidal functors do not belong to a common 2-category or -category — rather, it is a double categorical phenomenon. What I want to talk about is a restricted form of doctrinal adjunction, also well known, which is -categorical in nature.
For monoidal categories this is the assertion that given a strong monoidal functor whose underlying functor has a right adjoint — so that we have an adjunction of categories and functors — the right adjoint obtains the structure of a lax monoidal functor in such a way that and become monoidal transformations: which is to say that the adjunction lifts along from to . In fact the lifted adjunction is the unique such lifting, a fact not usually emphasised.
We can express this as a lifting property of an -functor by saying that an -functor satisfies -doctrinal adjunction if given a tight morphism and adjunction in (ie. is allowed to be loose) then that adjunction lifts uniquely along to an adjunction in . Then the above observation about monoidal categories amounts to the fact that the forgetful -functor from strong and lax monoidal functors to satisfies -doctrinal adjunction. Since strict monoidal functors are strong it follows that also satisfies -doctrinal adjunction. This is what we want since it relates lax morphisms with the strict ones — which are those most easily understood.
Let me remark that -doctrinal adjunction captures laxness, as in the orientation and non-invertibility of the comparisons (of tensor products) and (of units) defining a lax monoidal functor : for whilst satisfies -doctrinal adjunction neither of the forgetful -functors and do so. On the other hand there is an -category of monoidal categories, strict monoidal and incoherent lax monoidal functors and the forgetful -functor from there to does satisfy -doctrinal adjunction. Intuitively then -doctrinal adjunction captures the laxness but not the coherence axioms of a lax monoidal functor.
In writing the paper I found a refinement of the intuitive notion of -doctrinal adjunction to be what was really needed and called -functors satisfying this refinement -doctrinal. For our purposes it doesn’t matter what precisely an -doctrinal -functor is: it suffices to say that any -functor that satisfies -doctrinal adjunction, is faithful on 2-cells and reflects identity 2-cells is -doctrinal. For example satisfies these two additional conditions concerning 2-cells because monoidal transformations are just natural transformations with properties — thus is -doctrinal. I call the class of -doctrinal -functors .
Colax limits of loose morphisms
Mike and Steve introduced -categories to explain the behaviour of limits of weak homomorphisms in 2-dimensional universal algebra. Curious things happen in this world and I barely want to touch on them here but one kind of -categorical limit is crucial: the colax limit of a loose morphism. Recall that given a functor between categories we can form the comma category — the one with objects like . This is a kind of 2-categorical limit, the so-called colax limit of , and has a colax cone which looks like Here and are projection functors — and — and the natural transformation has component at given by itself. The limit property of is that this is the universal such cone.
Now if is a lax monoidal functor it turns out that obtains a unique monoidal structure such that the projections and become strict monoidal and a monoidal natural transformation — thus the colax cone lifts to the 2-category . In addition to this the projections and jointly detect the property of a lax monoidal functor in being strict monoidal and the lifted cone has the same universal property in . All of these properties of the lifted cone can be expressed -categorically: in they assert precisely that the lifted cone is the colax limit of the loose morphism .
What is slightly magical about this is that if you work through this claim — or look in the paper — you’ll see that it uses exactly the coherence axioms for a lax monoidal functor. Whilst -doctrinal adjunction captures laxness somehow colax limits of loose morphism capture the coherence axioms.
Incidentally I don’t think anyone (at least me!) has a satisfactory conceptual explanation as to why colax limits of loose morphisms are so important — it seems they are though.
Pinning down lax morphisms and monadicity
Now for the main theorem - I’ll only talk about the lax case. In it I mention tight pullbacks which I haven’t defined. Don’t worry about them — they are just pullbacks of tight morphisms which have their universal property with respect to the loose ones too, like pullbacks of strict monoidal functors.
Theorem. Consider an -functor to a 2-category and suppose that has colax limits of loose morphisms and tight pullbacks, and that is -doctrinal. Then the decomposition in - of the 2-functor is an orthogonal -decomposition.
In other words the inclusion is orthogonal to each -doctrinal -functor. It follows from the theorem that the decomposition of the forgetful 2-functor is an orthogonal decomposition. Likewise for any 2-monad on the decomposition is an orthogonal decomposition.
Now orthogonal decompositions are unique up to isomorphism. Consequently we can interpret the theorem as saying: given a 2-category sitting over then can be extended to an -category over in at most one way such that the loose morphisms of behave like lax morphisms (ie. satisfy the hypotheses of the theorem).
Anyway that’s not very snappy — lets see how the theorem relates to monadicity. The starting point here is that monadicity for strict morphisms is easily understood: we can use Beck’s theorem in the enriched setting to show that is strictly monadic — which is to say that we have an isomorphism of 2-categories over as below So strict monoidal functors correspond to strict -algebra maps. What remains is to show that the lax monoidal functors correspond to the lax -algebra maps.
Now the isomorphism over just asserts the commutativity of the outside of the diagram
Since both horizontal rows are orthogonal decompositions and because both vertical 2-functors ( and ) are isomorphisms we obtain a unique isomorphism of -categories as in the middle — thus drawing the desired correspondence between lax monoidal functors and lax -algebra maps.
Thats the idea of the main result on monadicity, Theorem 21, of the paper — and there are also entirely similar variants treating pseudo and colax morphisms. Let me make a few final points about what its all good for.
- Firstly I should point out that it is well known that monoidal categories and their morphisms (and many other structures in 2-dimensional universal algebra) can be described by 2-monads and their algebra maps — that’s why 2-dimensional monad theory was developed! The standard approach to showing this is via colimit presentations — here you start with the algebraic structure you have in mind and translate it into a presentation of a 2-monad as a colimit of free ones — see Steve’s A 2-categories companion for a good exposition of this. You then show that each kind of -algebra map, 2-cell between, and their various compositions match those intended by a series of lengthy calculations backtracking through the construction of . These calculations tend not to be very illuminating — so although the monadicity theorems yield nothing really new in this context they give an alternative approach which has the advantage that the calculations involved are illuminating, in that they involve natural concepts such as doctrinal adjunction and the behaviour of limits. Of course colimit presentations are very useful in other contexts as well: in particular they make the connection between flexible algebraic structure and pie colimits transparent.
- For genuinely new applications we can look to situations where colimit presentations do not apply — here is one such example. Recall that if is a monoidal category then if the forgetful functor from monoids in has a left adjoint it is automatically monadic (by Beck’s theorem). Likewise if is a monoidal 2-category and the forgetful 2-functor from monoids (or pseudomonoids) and strict homomorphisms has a left 2-adjoint then it too is monadic (by the enriched version of Beck’s theorem). This tell us that the strict monoid maps correspond to the strict -algebra maps for the induced 2-monad . Now our monadicity theorem allows us to show — assuming has some finite limits — that the pseudo, lax and colax monoid maps correspond to the pseudo, lax and colax -algebra maps too.
- Another thing worth mentioning is that the main theorem, on orthogonal decompositions, is nothing to do with 2-monads but is purely a result about -categories. Whilst this can be easily used to prove monadicity theorems it is not bound by the formalism of 2-monads, and so can equally be used to give recognition theorems for weak morphisms relative to other abstract frameworks — such as two dimensional Lawvere theories.
Re: Two dimensional monadicity
This is really exciting! One of the things I find most intriguing is what you touched on in your last bullet point: this may give us a way to define what is meant by a “lax morphism” even when there is no monad. For instance, suppose is a monoidal 2-category and the forgetful functor from monoids does not have a left adjoint. Then it still seems like the -category of monoids, strict morphisms, and lax ones (defined in the obvious way) satisfies the other conditions, so that it induces an factorization. This could be viewed as an assertion that our naive notion of lax morphism is “correct” even though there is no 2-monad in sight.
You observe in the paper that -doctrinal -functors are the right class of a cofibrantly generated orthogonal factorization system. That implies that any 2-functor admits such a factorization , which we could regard as defining a notion of “lax -morphism relative to ”. What conditions on , , and ensure that this notion is sensible? E.g. when is bijective on objects and fully faithful on tight morphisms? Always? Under what conditions does have colax limits of loose morphisms, tight pullbacks, cotensors, or more generally the limits that Steve and I called “-rigged”?