Funktor – w teorii
kategorii semantycznych wyrażenie, które nie jest
nazwą ani
zdaniem, służące do konstrukcji wyrażeń bardziej złożonych – nazw, zdań lub bardziej złożonych funktorów. Wyrażenie, wraz z którym dany funktor tworzy wyrażenie bardziej złożone, to
argument funktora.