frobenius
Contents
frobenius#
The free hypergraph category, i.e. diagrams with swaps and spiders.
Spiders are also known as dagger special commutative Frobenius algebras.
Summary#
A frobenius object is a self-dual pivotal object. |
|
A frobenius type is a pivotal type with frobenius objects inside. |
|
A frobenius diagram is a compact diagram with |
|
A frobenius box is a compact box in a frobenius diagram. |
|
A frobenius cup is a compact cup in a frobenius diagram. |
|
A frobenius cap is a compact cap in a frobenius diagram. |
|
A frobenius swap is a compact swap in a frobenius diagram. |
|
The spider with |
|
A hypergraph category is a compact category with a method |
|
A hypergraph functor is a compact functor that preserves spiders. |