Homotopy Type Theory
steveawodey
Redirected from "product of categories".
1