A skew approach to enrichment for Gray-categories

DOI10.1016/J.AIM.2023.109327MaRDI QIDQ6087076zbMATH OpenFDO

Authors John Bourke, Gabriele Lobbia

Publication date 14 November 2023

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2212.12358

zbMATH Keywords

enriched categoryGray-categoryskew monoidal category

Mathematics Subject Classification ID

Bimonoidal, skew-monoidal, duoidal categories (18M50) Non-symmetric operads, multicategories, generalized multicategories (18M65) Tricategories, weak (n)-categories, coherence, semi-strictification (18N20)

Abstract: It is well known that the category of Gray-categories does not admit a monoidal biclosed structure that models weak higher-dimensional transformations. In this paper, the first of a series on the topic, we describe several skew monoidal closed structures on the category of Gray-categories, one of which captures higher lax transformations, and another which models higher pseudo-transformations.

Review text

This paper moves away from classical monoidal categories, as used by \textit{S. E. Crans} [Theory Appl. Categ. 5, 12--69 (1999; Zbl 0914.18006)], to the skew monoidal categories of \textit{K. Szlachányi} [Adv. Math. 231, No. 3--4, 1694--1730 (2012; Zbl 1283.18006)]. The main goal is to establish closed skew monoidal categories as the natural setting for enrichment on the category \(\boldsymbol{G}\)-\(\boldsymbol{Cat}\)\ of Gray-categories, one capable of capturing weak higher-dimensional transformations. The synopsis of the paper goes as follows. \begin{itemize} \item[\S 2] introduces skew monoidal categories and the various flavors of multicategory. \item[\S 3] gives some background on Gray-categories. \item[\S 4] is the technical heart of the paper, constructing the 4-ary skew multicategory \(\boldsymbol{Lax}\). \item[\S 5] is able to establish the first main theorem (Theorem 5.8) claiming the existence of the skew monoidal closed structure \(\left( \boldsymbol{G} \text{-}\boldsymbol{Cat},\otimes_{l},1\right) \)\ with internal hom \(\boldsymbol{Lax}\left( \mathcal{A},\mathcal{B}\right) \). \item[\S 6] establishes the second main theorem (Theorem 6.3) claiming the existence of the skew monoidal closed structure \(\left( \boldsymbol{G} \text{-}\boldsymbol{Cat},\otimes_{p},1\right) \)\ with internal hom \(\boldsymbol{Psd}\left( \mathcal{A},\mathcal{B}\right) \) of pseudo-transformations. \item[\S 7] uses the notion of sharp multimap to refine the two aforementioned skew monoidal structures to sharp variations \(\left( \boldsymbol{G} \text{-}\boldsymbol{Cat},\otimes_{l}^{\#},1\right) \)\ and \(\left( \boldsymbol{G}\text{-}\boldsymbol{Cat},\otimes_{p}^{\#},1\right) \)\ whose associated internal homs \(\boldsymbol{Lax}\left( \mathcal{A},\mathcal{B} \right) _{s}\)\ and \(\boldsymbol{Psd}\left( \mathcal{A},\mathcal{B}\right) _{s}\)\ are the full sub-Gray-categories of \(\boldsymbol{Lax}\left( \mathcal{A},\mathcal{B}\right) \)\ and \(\boldsymbol{Psd}\left( \mathcal{A} ,\mathcal{B}\right) \)\ containing the strict Gray-functors. \end{itemize}

Recommendations

• Skew monoidal categories and skew multicategories
• Skew-enriched categories
• A cocategorical obstruction to tensor products of Gray-categories
• scientific article; zbMATH DE number 1247370
• A semi-strictly generated closed structure on \textbf{Gray}-\textbf{Cat}

Cites work

• V-Cat is locally presentable or locally bounded if V is so
• A cocategorical obstruction to tensor products of Gray-categories
• A Quillen model structure for 2-categories
• A Quillen model structure for Gray-categories
• Algebraic weak factorisation systems. I: Accessible AWFS.
• Algebraic weak factorisation systems. II: Categories of weak maps.
• Braided skew monoidal categories
• Cartesian differential categories as skew enriched categories
• Coherence for tricategories
• Coherence in Three-Dimensional Category Theory
• Data structures for quasistrict higher categories
• Generalized centers of braided and sylleptic monoidal 2-categories
• Higher dimensional algebra. I: Braided monoidal 2-categories
• scientific article; zbMATH DE number 2134022 (Why is no real title available?)
• scientific article; zbMATH DE number 1247370 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 647417 (Why is no real title available?)
• scientific article; zbMATH DE number 1443245 (Why is no real title available?)
• scientific article; zbMATH DE number 3305156 (Why is no real title available?)
• scientific article; zbMATH DE number 3316072 (Why is no real title available?)
• Loop spaces, and coherence for monoidal and braided monoidal bicategories
• Mapping spaces of Gray-categories
• Monads need not be endofunctors
• Monoidal bicategories and Hopf algebroids
• Multitensor lifting and strictly unital higher category theory
• On the formal theory of pseudomonads and pseudodistributive laws
• Operadic categories and their skew monoidal categories of collections
• Representable multicategories
• Skew monoidal categories and skew multicategories
• Skew structures in 2-category theory and homotopy theory
• Skew-closed categories
• Skew-monoidal categories and bialgebroids.
• Understanding the small object argument
• Universal properties of impure programming languages

Cited in

(3)

• scientific article; zbMATH DE number 5114902 (Why is no real title available?)
• A semi-strictly generated closed structure on \textbf{Gray}-\textbf{Cat}
• A finite approach to representable multicategories and related structures

This page was built for publication: A skew approach to enrichment for Gray-categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6087076)