Functor

11/07/2012 2.677 Palabras

Functor n.m. MAT En la teoría de las categorías, operador que hace corresponder a todo objeto de una categoría un objeto de otra categoría. Funtores típicos Funtor fiel En la teoría de categorías, un funtor fiel es un funtor que es inyectivo cuando está restringido a cada conjunto de morfismos con un dominio (fuente) y un codominio (blanco) dados. Es decir un funtor F de una categoría C a una categoría D es fiel si, para cada par de objetos X y Y en C y cada par de morfismos distintos f y g con la fuente X y el blanco Y, tenemos que F (f) y F(g) son morfismos distintos en D. Un funtor T : C → D {\displaystyle T:{\mathcal {C}}\to {\mathcal {D}}} es fiel si la función flecha de T {\displaystyle T} es inyectiva para todo par de objetos en la categoría ...

Este sitio web utiliza cookies, propias y de terceros con la finalidad de obtener información estadística en base a los datos de navegación. Si continúa navegando, se entiende que acepta su uso y en caso de no aceptar su instalación deberá visitar el apartado de información, donde le explicamos la forma de eliminarlas o rechazarlas.
Aceptar | Más información