تابعگون قطری
diagonal functor
تابعگون
functor