Funktor je pojem z matematiky, konkrétněji z teorie kategorií. Jde o zobecnění pojmu zobrazení. Funktor přiřazuje objektům nějaké kategorie objekty jiné kategorie a morfizmům kategorie morfizmy jiné kategorie.
Pro kategorie C a D je funktor F z C do D zobrazení,[1] které
Definice výše je definice kovariantního funktoru. Kontravariantní funktor je takové zobrazení F, které morfizmu kategorie C přiřadí morfizmus v kategorii D a platí .