[2205.03906v4] Dynamic Operads, Dynamic Categories: From Deep Learning to Prediction Markets