Homotopy Type Theory nlab (history)

Redirected from "strict monoidal functors".

June 16, 2022