compact
Contents
compact#
The free compact category, i.e. diagrams with swaps, cups and caps.
Summary#
A compact diagram is a symmetric diagram and a ribbon diagram. |
|
A compact box is a symmetric and ribbon box in a compact diagram. |
|
A compact cup is a ribbon cup in a compact diagram. |
|
A compact cap is a ribbon cap in a compact diagram. |
|
A compact swap is a symmetric swap and a ribbon braid. |
|
A compact category is both a symmetric category and a ribbon category. |
|
A compact functor is both a symmetric functor and a ribbon functor. |