Colored Operads

Explores the theory of operads and coloured operads, sometimes called symmetric multicategories. A (coloured) operad is an abstract object which encodes operations with multiple inputs and one output and relations between such operations. Topics covered include basic graph theory, basic category theory, colored operads, and algebras over coloured operads.