Diferencia entre revisiones de «Morfismo»

Los morfismos forman parte de la definición de [[categoría]]. Dentro de una [[categoría (matemáticas)|categoría]], cada morfismo <math>f</math> tiene asociados dos objetos de la categoría, su [[dominio (matemáticas)|dominio]] y su [[codominio]], que se notan respectivamente por <math>\operatorname{dom} f</math> y <math>\operatorname{cod} f</math>.<ref>Saunders MacLane. "Categories for the working mathematician", página 10.</ref> Un morfismo <math>f</math> con <math>\operatorname{dom} f = a</math> y <math>\operatorname{cod} f = b</math> suele notarse como <math> f \colon a \to b </math>.