Disambiguation evidence for Yoneda lemma via surface form

"Yoneda embedding is fully faithful"

Triples (1)

Triples where some other subject referred to this entity as "Yoneda embedding is fully faithful".

Yoneda lemma → implies →
"Yoneda embedding is fully faithful"
↳ resolves to Yoneda lemma
ⓘ