Yoneda extension

Redirect to:

• Presheaf (category theory)#Universal property