تابعگون باوفا
type: Concept
preferred label: faithful functor @en
related: رسته واقعی

رسته واقعی
type: Concept
broader: رسته
preferred label: concrete category @en
related: تابعگون باوفا

رسته
type: Concept
narrower: رسته واقعی
preferred label: category @en