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 e 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 es fiel si la función flecha de es inyectiva para todo par de objetos en la categoría . Esto es, para cada par de objetos , la función flecha de : dada por es una inyección.

Property Value
dbo:abstract
  • 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 e 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 es fiel si la función flecha de es inyectiva para todo par de objetos en la categoría . Esto es, para cada par de objetos , la función flecha de : dada por es una inyección. * Datos: Q12175350 (es)
  • 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 e 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 es fiel si la función flecha de es inyectiva para todo par de objetos en la categoría . Esto es, para cada par de objetos , la función flecha de : dada por es una inyección. * Datos: Q12175350 (es)
dbo:wikiPageID
  • 45979 (xsd:integer)
dbo:wikiPageInterLanguageLink
dbo:wikiPageLength
  • 1162 (xsd:integer)
dbo:wikiPageRevisionID
  • 120646286 (xsd:integer)
dct:subject
rdfs:comment
  • 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 e 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 es fiel si la función flecha de es inyectiva para todo par de objetos en la categoría . Esto es, para cada par de objetos , la función flecha de : dada por es una inyección. (es)
  • 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 e 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 es fiel si la función flecha de es inyectiva para todo par de objetos en la categoría . Esto es, para cada par de objetos , la función flecha de : dada por es una inyección. (es)
rdfs:label
  • Funtor fiel (es)
  • Funtor fiel (es)
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is foaf:primaryTopic of