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.