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