compact

The free compact category, i.e. diagrams with swaps, cups and caps.

Summary

Diagram	A compact diagram is a symmetric diagram and a ribbon diagram.
Box	A compact box is a symmetric and ribbon box in a compact diagram.
Cup	A compact cup is a ribbon cup in a compact diagram.
Cap	A compact cap is a ribbon cap in a compact diagram.
Swap	A compact swap is a symmetric swap and a ribbon braid.
Category	A compact category is both a symmetric category and a ribbon category.
Functor	A compact functor is both a symmetric functor and a ribbon functor.