Zaslat SMS: Categorical Models of Quantum Circuits