Skew monoidal categories and skew multicategories (Q1647335): Difference between revisions

Recently skew monoidal categories have attracted much of attention thanks to [\textit{K. Szlachányi}, Adv. Math. 231, No. 3--4, 1694--1730 (2012; Zbl 1283.18006)]. Their theory has been developed in a series of papers [\textit{S. Lack} and \textit{R. Street}, Theory Appl. Categ. 26, 385--402 (2012; Zbl 1252.18016); Adv. Math. 258, 351--396 (2014; Zbl 1350.18012); Appl. Categ. Struct. 22, No. 5--6, 789--803 (2014; Zbl 1317.18012); Theory Appl. Categ. 30, 985--1000 (2015; Zbl 1331.18007); Cah. Topol. Géom. Différ. Catég. 55, No. 4, 244--266 (2014; Zbl 1349.18012)]. The paper [\textit{J. Bourke}, J. Homotopy Relat. Struct. 12, No. 1, 31--81 (2017; Zbl 1417.18001)], adapting Eilenberg and Kelly's theorem connecting monoidal and closed structures [\textit{S. Eilenberg} and \textit{G. M. Kelly}, in: Proc. Conf. Categor. Algebra, La Jolla 1965, 421--562 (1966; Zbl 0192.10604)] to the homotopical setting, constructs monoidal bicategories arising from the pseudo-commutative \(2\)-monads of \textit{M. Hyland} and \textit{J. Power} [J. Pure Appl. Algebra 175, No. 1--3, 141--185 (2002; Zbl 1009.18003)], in which the skew structures are shown to arise from multicategories with two types of multimorphism, one stricter and the other weaker. The principal objective in this paper is to describe a complete correspondence between skew monoidal categories and a kind of multicategories with two types of multimorphism called \textit{skew multicategories}. It is shown, with recourse to some results of [the authors, J. Pure Appl. Algebra 222, No. 10, 3255--3281 (2018; Zbl 1428.18025)], that there is a \(2\)-equivalence between the \(2\)-category \(\mathbf{Skew}_{l}\) of skew monoidal categories and the \(2\)-category of left representable skew multicategories (Theorem 6.1) as well as a \(2\)-equivalence between the \(2\)-category \(\mathbf{SkewMCl}_{l}\) of closed skew monoidal categories and the \(2\)-category of left representable closed skew multicategories (Theorem 6.4) and a \(2\)-equivalence between the \(2\)-category \(\mathbf{SkewCl}_{l}\) of skew closed categories and the \(2\)-category of closed skew multicategories with unit (Theorem 6.6, which is a skew version of Theorem 5.1 in [\textit{O. Manzyuk}, Theory Appl. Categ. 26, 132--175 (2012; Zbl 1261.18009)]).