Sergei Burkin | Searcharxiv

arXiv2023

Operadic categories and quasi-Gröbner categories

Quasi-Gröbner categories were introduced by Sam and Snowden to unify treatment of categories in representation stability. We give new examples of quasi-Gröbner categories. Most of these categories are operadic categories of Batanin and Markl which are used to encode homotopy coherent structures. This suggests that other operadic categories might also be quasi-Gröbner. Additionally, we show that set-operads form a full subcategory of the category of operadic categories. We state several open problems.

math.CO↗

arXiv2022

Twisted arrow categories, operads and Segal conditions

We introduce twisted arrow categories of operads and of algebras over operads. Up to equivalence of categories, the simplex category $Δ$, Segal's category $Γ$, Connes cyclic category $Λ$, Moerdijk-Weiss dendroidal category $Ω$, and categories similar to graphical categories of Hackney-Robertson-Yau are twisted arrow categories of symmetric or cyclic operads. Twisted arrow categories of operads admit Segal presheaves and 2-Segal presheaves, or decomposition spaces. Twisted arrow category of an operad $P$ is the $(\infty, 1)$-localization of the corresponding category $Ω/P$ by the boundary preserving morphisms. Under mild assumptions, twisted arrow categories of operads, and closely related universal enveloping categories, are generalized Reedy. We also introduce twisted arrow operads, which are related to Baez--Dolan plus construction.

math.AT↗