Homotopy Type Theory
axiom of replacement > history
<
type theoretic axiom of replacement
category:
redirected to nlab