Homotopy Type Theory Whitehead's principle > history

Redirected from "Yoneda lemma for (∞,1)-categories".

< Whitehead's principle

category: redirected to nlab