Homotopy Type Theory
partial derivative > history
<
partial derivative
category:
redirected to nlab