تابعگون

تابعی بین دو رسته که هر شی‏ء یا ریختاری از رستۀ اول را به ترتیب به شی‏ء یا ریختاری از رستۀ دوم می‏برد