Na matemática, mais precisamente teoria das categorias, um functor ou funtor[1] é um mapeamento entre categorias, preservando domínios, contradomínios, identidades e composições, analogamente a como, por exemplo, um homomorfismo de grupos preserva o elemento neutro e a operação do grupo.
Segundo Saunders Mac Lane, o conceito de functor foi, pela primeira vez, reconhecido na topologia algébrica, no estudo de grupos de homologia.[2]
<ref>
inválida; não foi fornecido texto para as refs de nome maclaneDef