تابعگون
functor
fuctional analysis
آنالیز تابعی
ریخت
morphism
set
مجموعه
رسته
category
جبر مانستگی
homological algebra
نظریه انواع
type theory
ریاضیات
mathematics
Stone duality
دوگانی استون
commutative diagram
نمودار تعویض‌پذیر
module
مدول
Lambda calculus
حساب لاندا
category theory
نظریه رسته
نظریه ای که در باره رسته ها و تابعگونها و روابط بین آنها بحث می کند.
اشیا
objects
categorical logic
منطق رسته‌ای