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