a basic ingredient of quantum theory: the category Hilb whose objects are Hilbert spaces, usedto describe physicalsystems, and whose morphisms are linear operators, used to describephysicalprocesses
[[hilb]] == [[hilbert spaces]] + [[linear operators]]