Homotopy Type Theory
circle > history
<
circle type
category:
redirected to nlab