نظریه رده‌ها

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو

نظریه رده‌ها (نظریه رسته‌ها) شاخه‌ای از ریاضیات محض است که به بررسی رده‌ها -که کلاس‌هایی از سازه‌ها و روابط بین آن‌ها (ریختارها یا پیکان‌ها) هستند- و همچنین عملگرهای میان رده‌ها می‌پردازد و به ابزاری مهم در جبر و دانش رایانه تبدیل شده است به خصوص در زبان‌های برنامه‌نویسی، نظریهٔ حوزه‌ها، و همزمانی که در این شاخه‌ها معمولاً نظریهٔ رده‌ها پیش‌نیاز است.

منابع[ویرایش]

  • (انگلیسی) (۱۱۴ ص) Pierce, Benjamin, 1991. Basic Category Theory for Computer Scientists. MIT Press.