لم یوندا
در ریاضیات، لم یوندا (به انگلیسی: Yoneda Lemma) را می توان از مهم ترین نتایج نظریه رسته ها به شمار آورد. این لم، نتیجه ای مجرد در ارتباط با تابعگون هایی از نوع ریخت ها به یک شیء ثابت می باشد. این لم تعمیم وسیعی از قضیه کیلی در نظریه گروه ها می باشد (قضیه کیلی نشان می دهد که می توان یک گروه را به عنوان رسته کوچکی دید که تنها دارای یک شیء و ریختی هایی از آن شیء به خودش است). این لم امکان نشاندن هر رسته موضعاً کوچک را در رسته تابعگون هایی (تابعگون های پادوردایی که خروجیشان مجموعه است) که روی آن رسته تعریف شده اند را به ما می دهد. همچنین این لم نشان می دهد که چگونه رسته نشانده شده از تابعگون های نمایش پذیر و تبدیلات طبیعیشان، به دیگر اشیاء در رسته تابعگون بزرگتر ارتباط پیدا می کند. همچنین این لم ابزار مهمی است که در بسیاری از پیشرفت های هندسه جبری و نظریه نمایش حضور دارد. این لم را به افتخار نوبو یوندا (به انگلیسی: Nobuo Yoneda) نام گذاری شده است.
کلیات
لم یوندا پیشنهاد می دهد که به جای مطالعه رسته (موضعاً کوچک)
این رهیافت شباهت به روش رایج مطالعه حلقه ها با کمک تحقیق بر روی مدول های تعریف شده بر روی آن حلقه ها دارد و این رهیافت را تعمیم می دهد. در این لم، حلقه جای خود را به رسته
پانویس
- ↑ Riehl, Emily. "Category Theory in Context" (PDF).
منابع
- Freyd, Peter (1964), Abelian categories, Harper's Series in Modern Mathematics (2003 reprint ed.), Harper and Row, Zbl 0121.02103.
- Mac Lane, Saunders (1998), Categories for the Working Mathematician, Graduate Texts in Mathematics, vol. 5 (2nd ed.), New York, NY: Springer-Verlag, ISBN 0-387-98403-8, Zbl 0906.18001
- Loregian, Fosco (2015). "This is the (co)end, my only (co)friend". arXiv:1501.02503 [math.CT].
- Yoneda lemma in nLab