Integration of a categorical operad (Q6862432)

The author wishes to describe operadic integration or operadic Grothendieck construction [\textit{M. Batanin} and \textit{M. Markl}, Adv. Math. 285, 1630--1687 (2015; Zbl 1360.18009), p.17] as a fully faithful functor from the category of operads. This paper aims to find a suitable codomain of the integration functor and to characterize its essential image for operad valued in the category of categories.\N\NThis paper is a follow-up to [\textit{D. Trnka}, ``Operadic fibrations and unary operadic 2-categories'', Preprint, \url{arXiv:2410.05064}], where the integration is described for categorical operads of unary operadic categories, i.e. operadic categories whose cardinality functor has a constant value 1. The author's long term goal is to develop the integration for categorical operads of operadic categories of general cardinalities. The current paper makes a step in this direction by deriving the results for a relatively simple non-unary operadic category \(\Delta_{s}\) of finite non-empty ordinals and surjections.\N\NFor a constant-free non-symmetric operad \(\mathcal{P}\), a 2-category \(\int\,\mathcal{P}\) is constructed, together with a projection \(\pi:\mathcal{P}\rightarrow\Delta_{s}\). The author describes its properties, introducing a 2-categorical generalization of (non-symmetric) operadic categories (Definition 2.12). The author also introduces a non-discrete version of operadic fibrations, showing that the projection is a splitting operadic fibration (Definition 2.17, Definition 2.18 and Theorem 3.1). The author finally arrives at Theorem 3.8, which gives the equivalence of constant-free non-symmetric categorical operads and split-fibered (non-symmetric) operadic 2-categories. Lastly, Propsition 4.3 relates the results to the standard case of categorical presheaves and categorical fibrations.