Teoría das categorías: Diferenzas entre revisións
Contido eliminado Contido engadido
→Produtos e límites: Arranxos |
→Funtores: Arranxos |
||
Liña 96:
== Funtores ==
# asocia para cada morfismo <math>f : x \rightarrow y</math> un morfismo <math>F(f):F(x)\rightarrow F(y)</math>▼
▲Un ''funtor'' (''covariante'') <math /> da categoría '''C''' para a categoría '''D''':
▲# asocia para cada obxecto <math /> en '''C''' un obxecto <math /> en '''D''';
▲# asocia para cada morfismo <math /> un morfismo <math />
tal que son válidas as seguintes propiedades:
# <math
# <math>F(g\circ f)=F(g)\circ F(f)</math> para todos os morfismos <math>f:x\rightarrow y</math> e <math>g:y\rightarrow z</math>.
== Véxase tamén ==
|