The Categorification of a Symmetric Operad is Independent of Signature
Abstract
Description
Given a symmetric operad $P$, and a signature (or generating sequence) $Φ$ for $P$, we define a notion of the "categorification" (or "weakening") of $P$ with respect to $Φ$. When $P$ is the symmetric operad whose algebras are commutative monoids, with the standard signature, we recover the notion of symmetric monoidal categories. We then show that this categorification is independent (up to equivalence) of the choice of signature.
Presented at CT2007, June 2007, in Carvoeiro, Portugal
Presented at CT2007, June 2007, in Carvoeiro, Portugal