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

(→‎Diagramas: Arranxos)
* A categoría dos [[Espazo vectorial|espazos vectoriais]]. Os obxectos son os espazos vectoriais; os morfismos son as transformacións lineares.
* Un [[Teoría de grafos|grafo]] orientado define unha categoría, tendo por obxectos os nós ou vértices do grafo e por morfismos os camiños ao longo do grafo. A composición de morfismos é definida pola concatenación de camiños. Así, existe un morfismo entre dous nós se existir un camiño, no grafo, que ligue os dous nós.
* Un conxunto parcialmente ordenado <math >A</math> define unha categoría, tendoque ten por obxectos os elementos do conxunto <math >A</math>. Un único morfismo entre dous elementos <math >a</math> e <math >b</math> defínese se <math>a\leq b</math>. A lei de composición dedúcese da transitividade da [[relación de orde]].
 
== Dualidade ==
35.807

edicións