Categorical Aspects of Algebraic Quantum Field Theory