Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 635-661 |
| Number of pages | 27 |
| Journal | Theory and Application of Categories |
| Volume | 34 |
| Issue number | 22 |
| Publication status | Published - 2019 |
Keywords
- Lax functor
- strictification
- distributive law
- lax Gray product
- free monoid