Homotopy Type Theory
discrete reciprocal Z-algebra > history
<
reciprocal algebra
category:
redirected to nlab