Funtor

Funtor. Término utilizado por la lógica formal para designar cualquier operador lógico, o conectiva (como la conjunción, la disyunción, etc...) de modo que, no poseyendo contenido semántico alguno, se utilizan para establecer relaciones entre contenidos.

En matemáticas, el término se utiliza en la teoría de las categorías para designar aquella función de una categoría a otra que lleva objetos a objetos y morfismos a morfismos, de manera que la composición de morfismos y las identidades se preserven.