Teoría das categorías: Diferenzas entre revisións
Contido eliminado Contido engadido
→Definición de categoría: Arranxos |
→Diagramas: Arranxos |
||
Liña 30:
Os diagramas serven para representar categorías. Se a composición de todos os camiños entre dous obxectos dun diagrama son iguais, dise que o diagrama ''conmuta'' ou que é ''comutativo''.
Pódense expresar as propiedades de teoría das categorías a través de diagramas conmutativos. Un exemplo é o diagrama ilustrado ao lado. Datos <math>h:a\rightarrow b</math>, <math>g:b\rightarrow c</math> e <math>f:c\rightarrow d</math> que representa a propiedade asociativa, <math>(f\circ g)\circ h=f\circ (g\circ h)</math>.
== Exemplos de categorías ==
|