Homotopy Type Theory
identity type > history
Redirected from "large sets".