Funtor

Carta Común · N.º 224233

En teoría de categorías, un funtor o functor es una función de una categoría a otra que hace corresponder objetos con objetos y morfismos con morfismos, de manera que la composición de morfismos y las identidades se preservan. Los funtores se consideraron primero en topología algebraica, donde se asocian los objetos algebraicos con los espacios topológicos y se asocian los homomorfismos algebraicos con las funciones continuas. Hoy en día, los funtores se utilizan a través de las matemáticas modernas para relacionar varias categorías. Ejemplos de functores típicos son el funtor fiel y el funtor pleno.

Leer en Wikipedia · Imagen User:Cepheus, Public domain