Homotopy Type Theory
limit of a net > history
<
limit of a net
category:
redirected to nlab