Operadic categories as (pseudo)-simplicial groupoids

Abstract

From any operadic category O we construct a simplicial groupoid X (slightly pseudo in a specific way), called the operadic nerve. It integrates all the structure of chosen-local-terminals, fibre functor, and cardinality functor into a single simplicial groupoid, which can be seen as an undecking of the ordinary nerve of O in the Kleisli category for the symmetric-monoidal-groupoid monad S: we have the equation DX = SNO, where D is upper decalage. The construction leads to a new characterisation of operadic categories, in which all the axioms end up as simplicial identities, and where the notion of operad over an operadic category takes the form of a simplicial map subject to well-known pullback conditions (the notion of IKEO map).