The Morel-Voevodsky Construction over Algebraic Stacks | Synapse