Higher Structures in Algebraic Quantum Field Theory