Functor

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 ...