Derived geometry and higher quantum groups | Synapse