تابعگون
functor
رسته واقعی
concrete category
injective function
تابع یک به یک
تابعگون تماما باوفا
fully faithful functor
تابعگون باوفا
faithful functor