Homotopy Type Theory
pushout > history
Redirected from "finite (∞,1)-limits".
<
pushout type
category:
redirected to nlab