syntax
cat

grammar
       ┌───────
monoidal

───────┐       
cfg
braided







traced






└──────
closed

categorial
rigid

pregroup
pivotal

dependency
balanced

─────────────

interaction
ribbon

circuit
symmetric

─────────────

hypergraph
compact

tk
markov
─────────────
frobenius
zx
python
matrix
tensor
channel
semantics
quantum