Symmetric weak multicategories

Abstract

A multicategory is what remains of a monoidal category when monoidal product is not available. A weak multicategory means that hom-sets are in fact categories, and in place of usual equations, there are natural isomorphisms, which have to satisfy their own equations. A symmetric weak multicategory implies a weak multicategory with a weak (up to a cocycle) action of symmetric groups.

29 pages, 1 minor correction