Dominant functor
வகைக் கோட்பாட்டில், கணிதத்தின் ஒரு சுருக்கமான கிளை, ஒரு மேலாதிக்க செயல்பாட்டாளர் ஒரு செயல்பாட்டாளர் F: C → D ஆகும், இதில் D இன் ஒவ்வொரு பொருளும் C இன் சில பொருள் X க்கு F (x) வடிவத்தின் ஒரு பொருளின் பின்வாங்கலாகும்.