Diferenzas entre revisións de «Teoría das categorías»

→‎Diagramas: Arranxos
(→‎Diagramas: Arranxos)
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 ==
35.817

edicións