Homotopy Type Theory
Benedikt Ahrens > history
Redirected from "Yoneda lemma for (∞,1)-categories".
<
Benedikt Ahrens
category:
redirected to nlab