Expand description
Traits for types forming hypergraph and symmetric monoidal categories
Traitsยง
- Arrow
- Coproduct
- Monoidal
- Spider
- Categories with hypergraph structure.
We call this
Spiderto avoid confusion with the crate::strict::Hypergraph struct. - Symmetric
Monoidal