{functor} [ریاضی] تابعی بین دو رسته که هر شی ء یا ریختاری از رستۀ اول را به ترتیب به شی ء یا ریختاری از رستۀ دوم می برد
