Diferencia entre revisiones de «Conjunto»

Una [[Categorías y fundamentos|categoría matemática]] consta de dos partes: los objetos y los [[morfismo]]s. Cuando hablamos de la categoría de conjuntos, los objetos son los mismos conjuntos y un morfismo <math>f</math> entre dos objetos, digamos <math>X</math>, <math>Y</math>, en un tipo de ''relación entre'' <math>X</math>,<math>Y</math> ''dirigida'' i.e. un subconjunto del producto cartesiano de <math>X</math> con <math>Y</math>, en símbolos:

::<math>f\subset X\times Y</math>

 

== Véase también ==