A nerve theorem and graphical calculus for compact closed categories

Sophie Raynor – 28 October 2020

Continuing from last week, I’ll describe an iterated distributive law for compact closed categories, and use this to prove a nerve theorem. I’ll also give a graphical description of the embedding of the category of circuit operads into the category of small compact closed categories.