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).
From: Joachim Kock [view email]
[v1]
Sun, 14 Jun 2026 08:25:39 UTC (47 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。