Funtor
De Wikipedia, la enciclopedia libre
En teoría de categorías un funtor (o bien functor) es una 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. Para la definición y los ejemplos exactos, vea el artículo sobre la teoría de categorías.
Los funtores primero se consideraron en topología algebraica, donde se asocian los objetos algebraicos los espacios topológicos y se asocian los homomorfismos algebraicos con funciones continuas. Hoy en día, los funtores se utilizan a través de las matemáticas modernas para relacionar varias categorías.
