Quantum Quandaries: a Category-Theoretic Perspective