Homotopy Type Theory
sequential derivative > history
Redirected from "monoidal category modules".