Homotopy Type Theory
Z-algebra > history
<
nonassociative ring
category:
redirected to nlab