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

(Arranxos)
(→‎Composición: Arranxos)
A única operación esixida nunha categoría é a ''composición.'' A composición en categorías é unha xeneralización da [[composición de funcións]] da [[teoría de conxuntos]].
 
Na teoría dos conxuntos, dadas dúas funcións <math>f:A\rightarrow B</math> ( que tendoten como dominio o conxunto <math >A</math> e como codominio o conxunto <math >B</math>) e <math>g:B\rightarrow C</math>, defínese <math>h:A\rightarrow C</math> como sendo a composición de <math >f</math> e <math >g</math>, <math>h=g\circ f</math>, desde que <math >h(x)=g(f(x))</math> para todo <math>x\in A</math>.
 
== Definición de categoría ==
35.807

edicións