Text this: Categorical Models of Quantum Circuits