Homotopy Type Theory
algebra (module theory) > history
<
nonassociative algebra
category:
redirected to nlab