Converts quantum circuits into ZX-diagrams using categorical quantum mechanics, enabling circuit visualization, analysis, and optimization through deterministic gate mapping and rewrite rules.
Generates formal string diagram visualizations of Lushy brick compositions, enabling zero-cost diagram generation and recursive self-documentation based on category theory.