STRICTIFICATION TENSOR PRODUCT OF 2-CATEGORIES

STRICTIFICATION TENSOR PRODUCT OF 2-CATEGORIES

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, Lax(D,E)) ≅ [C × D, E]lnt, hence...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Theory and applications of categories 2019-01, Vol.34 (22), p.635
1. Verfasser: Nikolić, Branko
Format: Artikel
Sprache:eng
Schlagworte:
Algebra
Applications
Mathematical functions
Mathematical problems
Tensors
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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, Lax(D,E)) ≅ [C × D, E]lnt, hence generalising the case of the free distributive law 1 × 1. We also discuss dual constructions.
ISSN:1201-561X