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.
I gave enriched Yoneda lemma its own page (we could have kept it at Yoneda lemma, but somehow I felt it would be good to have a dedicated page).
It is also about time to create a sidebar-toc for enriched category theory…
Todd and I apparently started creating this entry almost simultaneously, and the software didn’t prevent it. So I ended up accidentally overwriting Todd’s 11-minute old version when I saved mine.
Now I have rolled back to Todd’s version and edited a bit.
added direct pointer to Borceux 94, theorem 6.3.5
1 to 5 of 5