Given 2-categories C and D, let Lax(C, D) denote the 2-category of lax functors, lax natural transformations and modifications, and [C, D] lnt its full sub-2-category of (strict) 2-functors. We give two isomorphic constructions of a 2-category C ☒D satisfying Lax(C, LaxpD, E)) ≅ [C ☒D, E] lnt, hence generalising the case of the free distributive law 1 ☒ 1. We also discuss dual constructions.
|Number of pages||27|
|Journal||Theory and Application of Categories|
|Publication status||Published - 2019|
- Lax functor
- distributive law
- lax Gray product
- free monoid