vix.ing · top · new · best · stats · spec

Formal aspects of Gray's tensor product of 2-categories

2010/03/09 by Alexandru E. Stanculescu, Stanculescu, Alexandru E.
Mathematics · #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #math.CT

paper · pdf · doi:10.48550/arxiv.1003.1994

Title has been changed, major revisions and corrections, accepted in Appl. Categ. Str

openalex publication_date 2010/03/09 · arxiv created 2012/03/13 · arxiv updated 2012/03/15 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

The category of small 2-categories has two monoidal structures due to John Gray: one biclosed and one closed. We propose a formalisation of the construction of the right internal and internal homs of these monoidal structures.

Related