Title: Quantization of dynamical symplectic reduction

Abstract: A long-standing problem in quantum gravity and cosmology is the quantization of systems in which evolution is generated by a constraint that must vanish on solutions. Here, an algebraic formulation of this problem is presented, together with new structures and results that prove the existence of specific conditions for well-defined evolution to be possible.