Diferencia entre revisiones de «Conjunto»

Contenido eliminado Contenido añadido
Camilo (discusión · contribs.)
m Revertidos los cambios de 200.71.160.1 a la última edición de Dnu72
Línea 72:
 
==Relaciones entre conjuntos==
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''dos tipos<math>X</math>,<math>Y</math> gay''dirigida'' i.e. un subconjuto del producto cartesiano de <math>X</math> con <math>Y</math>, en símbolos:
<math>X</math>,<math>Y</math> ''dirigida'' i.e. un subconjuto del producto cartesiano de <math>X</math> con <math>Y</math>, en símbolos:
::<math>f\subset X\times Y</math>
y ésta es una [[mapeo|aplicación]] entre los conjuntos.