Algebraic Quantum Field Theory: relevant aspects for QG

Mention “type reduction” and connection with QRFs