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