Funtor pleno

Funtor pleno: En la teoría de categorías, un funtor pleno es un funtor que es sobreyectivo 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 pleno si, para cada par de objetos X y Y en C y cada morfismo h con la fuente FX y el blanco FY en D, existe un f de X a Y tal que F(f) = h en D.

Un funtor $T:\mathcal{C}\to\mathcal{D}$ es pleno si la función flecha de T es sobreyectiva para cada par de objetos en $\mathcal{C}$ .

Esto es, para cada par de objetos $C_1, C_2\in \operatorname{Ob}(\mathcal{C})$ ,

la "función flecha" $T_{(C_1,C_2)}$ de T:

$T_{(C_1,C_2)}:\operatorname{hom_{\mathcal{C}}}(C_1,C_2)\to\operatorname{hom_{\mathcal{D}}}(T(C_1),T(C_2))$ dada por $T_{(C_1,C_2)}(f)=T(f)$

es una sobreyección.

Categoría:
Teoría de categorías

Игры ⚽ Поможем сделать НИР

Funtor pleno — En la teoría de categorías, un funtor pleno es un funtor que es sobreyectivo 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… … Enciclopedia Universal
Funtor — En teoría de categorías un funtor o 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. Los funtores primero se consideraron… … Wikipedia Español
Función flecha — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar … Wikipedia Español
Teoría de categorías — En este artículo se detectaron los siguientes problemas: Necesita ser wikificado conforme a las convenciones de estilo de Wikipedia. Podría ser difícil de entender para lectores interesados en el tema. Por favor … Wikipedia Español

Los diccionarios y las enciclopedias sobre el Académico