Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
created sidebar toc Yoneda lemma - contents.
Not yet convinced myself that I found the right subdivisions and probably forgot some entries. Please improve.
adjusted and expanded the section “In higher category theory”. Now it reads like so:
Yoneda lemma for higher categories:
1 to 2 of 2