Follow

If C is a symmetric monoidal category with object set A, then the morphisms in C form an algebra of some operad of "wiring diagrams" (i.e string diagrams with holes) labeled by the objects of A. This seems to be mostly folklore, is there a good reference anywhere?

Sign in to participate in the conversation
Mastodon

a Schelling point for those who seek one