加载中…
Given a symmetric operad , and a signature (or generating sequence) for , we define a notion of the “categorification” (or “weakening”) of with respect to . When 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.

生成讲解博客的中文版本

生成AI智能校验的中文版本