Yoneda is the free cocompletion

Last updated Apr 23, 2024

• Yoneda lemma