تابعگون
preferred label: functor @en
type: Concept
broader: نظریه رسته

آنالیز تابعی
preferred label: fuctional analysis @en
type: Concept
related: نظریه رسته

ریخت
preferred label: morphism @en
type: Concept
broader: نظریه رسته

مجموعه
preferred label: set @en
type: Concept
related: نظریه رسته

رسته
preferred label: category @en
type: Concept
broader: نظریه رسته

جبر مانستگی
preferred label: homological algebra @en
type: Concept
related: نظریه رسته

نظریه انواع
preferred label: type theory @en
type: Concept
related: نظریه رسته

ریاضیات
preferred label: mathematics @en
type: Concept
narrower: نظریه رسته

دوگانی استون
preferred label: Stone duality @en
type: Concept
broader: نظریه رسته

نمودار تعویض‌پذیر
preferred label: commutative diagram @en
type: Concept
related: نظریه رسته

مدول
preferred label: module @en
type: Concept
related: نظریه رسته

حساب لاندا
preferred label: Lambda calculus @en
type: Concept
related: نظریه رسته

نظریه رسته
type: Concept
related: مجموعه
related: جبر مانستگی
related: مدول
related: نمودار تعویض‌پذیر
related: نظریه انواع
related: آنالیز تابعی
related: حساب لاندا
related: منطق رسته‌ای
narrower: دوگانی استون
narrower: تابعگون
narrower: اشیا
narrower: رسته
narrower: ریخت
preferred label: category theory @en
broader: ریاضیات
scope note: نظریه ای که در باره رسته ها و تابعگونها و روابط بین آنها بحث می کند.

اشیا
preferred label: objects @en
type: Concept
broader: نظریه رسته

منطق رسته‌ای
preferred label: categorical logic @en
type: Concept
related: نظریه رسته