Homotopy Type Theory
algebra (ring theory) > history
<
associative unital algebra
category:
redirected to nlab