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.
We do have Yoneda lemma for bicategories and Yoneda lemma for tricategories.
For consistency it should be ’lemma’ in the title.
and we have Yoneda lemma for (infinity,1)-categories
But I see there is room to update our context menu Yoneda lemma - contents…
adjusted the capitalization in the title, fixed the floating context menu – now pointing to Yoneda lemma - contents and higher category theory - contents
adjusted the lead-in sentence, now it reads like so:
One expects the Yoneda lemma to generalize to essentially every flavor of higher category theory. Various special cases have been (defined and) proven, such as the:
1 to 5 of 5