Strictification tensor product of 2-categories

Branko Nikolic*

*Corresponding author for this work

    Research output: Contribution to journalArticle

    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 languageEnglish
    Pages (from-to)635-661
    Number of pages27
    JournalTheory and Application of Categories
    Volume34
    Issue number22
    Publication statusPublished - 2019

    Keywords

    • Lax functor
    • strictification
    • distributive law
    • lax Gray product
    • free monoid

    Cite this