تابع گرهای نمایش پذیر، هم ارزی های طبیعی و لم یوندا

تابع‌گرهای نمایش‌پذیر، هم‌ارزی‌های طبیعی و لم یوندا مقدمه در ادامهٔ تبیین مبانی ساختاری در نظریهٔ رده‌ها و پس از تحلیل جفت‌های الحاقی، بنیادی‌ترین سنگ‌بنای درک اشیاء و نگاشت‌ها از مسیر «تابع‌گرهای نمایش‌پذیر» (Representable Functors) و «لم یوندا» (Yoneda Lemma) می‌گذرد. این قضیهٔ محوری مشخص می‌کند که چگونه ساختار درونی هر شیء در یک رده، به تمامیت از طریق رفتارِ نگاشت‌های ورودی یا خروجی آن به سایر اشیاء تعیین می‌گردد.