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