نظریه رده‌ها

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

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

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

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