Integration of a categorical operad
Abstract
We describe a Grothendieck construction for non-symmetric operads with values in categories, and hence in groupoids and posets. The construction produces a 2-category which is operadically fibered over the category D of finite non-empty ordinals and surjections. We describe an inverse for the construction, yielding an equivalence of constant-free non-symmetric categorical operads and operadic 2-categories (split-)fibered over D, which resembles the correspondence of categorical presheaves and fibered categories. The result provides a new characterization of non-symmetric categorical operads and tools to study them.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.