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