Homotopy Type Theory
monotonic function > history
<
monotonic function
category:
redirected to nlab