Quantum Quandaries: a Category-Theoretic Perspective - John C. Baez (2004)