Homotopy Type Theory
Differential geometry > history
Redirected from "Artinian local rings".