Universal Constructions In Algebraic And Locally Covariant Quantum Field Theory