Integration of a categorical operad
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.
- 2-Dimensional Categories
- Category-colored operads, internal operads, and Markl \(\mathbb{O}\)-operads
- Colax adjunctions and lax-idempotent pseudomonads
- Feynman categories
- Homotopy of operads and Grothendieck-Teichmüller groups. Part 1: The algebraic theory and its topological background
- Homotopy theory for algebras over polynomial monads
- scientific article; zbMATH DE number 2134022 (Why is no real title available?)
- scientific article; zbMATH DE number 970061 (Why is no real title available?)
- scientific article; zbMATH DE number 7692248 (Why is no real title available?)
- Koszul duality for operadic categories
- Operadic categories and duoidal Deligne's conjecture
- Operadic categories and their skew monoidal categories of collections
- Operads, operadic categories and the blob complex
- The Eckmann-Hilton argument and higher operads
This page was built for publication: Integration of a categorical operad
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6862432)
