Homotopy Type Theory
Sierpinski space > history
<
Sierpinski space
category:
redirected to nlab