تابعگون باوفا
faithful functor
رسته واقعی
concrete category
رسته
category