Homotopy Type Theory
commutative ring > history
<
commutative ring
category:
redirected to nlab