Categories for Quantum Theory