Homotopy Type Theory
Heyting cancellation Z-algebra > history
<
integral Z-algebra
category:
redirected to nlab