Operadic fibrations and unary operadic 2-categories

Článek recenzovaný mimo WoS a Scopus

en

We introduce unary operadic 2-categories as a framework for an operadic Grothendieck construction of a categorical O-operad, O being a unary operadic category. The construction is a fully faithful functor ∫O which takes categorical O-operads to operadic functors over O, and we characterize its essential image by certain lifting properties. Such operadic functors are called operadic fibrations. Our theory is an extension of the discrete (unary) operadic case and, in some sense, of the classical Grothendieck construction of a categorical presheaf. For the terminal unary operadic category ⊙, a categorical ⊙-operad is a strict monoidal category V and its Grothendieck construction ∫⊙ V is connected to the ‘para’ construction appearing in machine learning. The 2-categorical setting provides a characterization of O-operads valued in V as operadic functors O → ∫⊙ V . Last, we describe a left adjoint to ∫⊙.

unary operadic category; 2-category; fibration; Grothendieck construction; monoidal category; operad; 2-categorical nerve; decalage

2026-06-19

Institute of Mathematics, Czech Academy of Sciences

Higher structures

10

1

212–239

28