syntax
	cat │			grammar
┌─────── │	monoidal │	───────┐ │		cfg
braided │ │ │ │ │ │ │	traced │ │ │ │ │ └──────	closed │		categorial
		rigid │		pregroup
		pivotal │		dependency
		pivotal │
balanced │	───────────── interaction	ribbon │		circuit
symmetric │	───────────── hypergraph	compact │		tk
markov	─────────────	frobenius		zx

python	matrix	tensor		channel
semantics				quantum