Una categoría matemática consta de dos partes: los objetos y los morfismos. Cuando hablamos de la categoría de conjuntos, los objetos son los mismos conjuntos y un morfismo f entre dos objetos, digamos X, Y, en un tipo de relación entre X,Y dirigida i.e. un subconjunto del producto cartesiano de X con Y, en símbolos:
f , X x Y
sábado, 24 de octubre de 2009
Suscribirse a:
Enviar comentarios (Atom)
No hay comentarios:
Publicar un comentario