Homotopy Type Theory
unit interval > history
<
unit interval
category:
redirected to nlab