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