رسته مجموعه‌ها
category of sets
تابعگون
functor
Hom functor
تابعگون هوم