Blog
- Categories, PROPs, and control: a compositional language for circuit reasoning
A serious-but-accessible introduction to categories, PROs/PROPs, and the idea of treating control as structure.
- Fragments of the quantum circuit model
A compact atlas of common quantum-circuit fragments: what you can build from a gate set, what it means, and what is known about reasoning inside it