Seol mar théacs é seo: Categorical Models of Quantum Circuits