Morsmo
Si f es tanto un epimorsmo como un monomorsmo, f es un bimorsmo. Ntese que no todo bimorsmo es un isomorsmo. No obstante, todo morsmo que es tanto un epimorsmo como una seccin,
o mono y retraccin, debe ser iso.
En Teora de las categoras una categora viene dada por
dos tipos de datos: una clase de objetos y, para cada par
de objetos X e Y, un conjunto de morsmos desde X a
Y. Los morsmos son frecuentemente representados como echas entre esos objetos. En el caso de una categora
concreta, X e Y son conjuntos de cierto tipo y un morsmo f es una funcin desde X a Y satisfaciendo alguna
condicin; este ejemplo origina la notacin f: X Y. Pero no toda categora es concreta, por tanto estos no son
los nicos tipos de morsmos.
2 Ejemplos
Algunos ejemplos de morsmos son homomorsmos de
las categoras estudiadas en lgebra universal (tales como los de grupos, anillos, etc), funciones continuas entre
espacios topolgicos, elementos de un monoide cuando
es pensado como categora, caminos en un espacio topolgico (lo que engendra a un grupoide), funtores entre
categora, y muchos otros.
Variantes y subclases de morsmos
Todo objeto X en toda categora tiene morsmo
identidad idX que acta como identidad bajo la operacin de composicin.
Un homeomorsmo es simplemente un isomorsmo
en la categora de los espacios topolgicos.
Si f : X Y y g : Y X satisfacen f g = idY,
entonces f es una retraccin y g es una seccin (matemtica).
Un difeomorsmo es simplemente un isomorsmo
en la categora de las variedades diferenciables.
Si f es tanto una retraccin como una seccin, entonces es un isomorsmo. En tal caso, los objetos
X e Y deben pensarse como completamente equivalentes para la categora C.
3 Enlaces externos
Weisstein, Eric W. Morphism. En Weisstein, Eric
W. MathWorld (en ingls). Wolfram Research.
Un morsmo f : X X es un endomorsmo de X.
Category en PlanetMath
Un endomorsmo que es tambin un isomorsmo es
un automorsmo.
TypesOfMorphisms en PlanetMath
Supngase que dados g : Y Z y h : Y Z y toda
vez que g f = h f, se sigue que g = h. Entonces
f es un epimorsmo. Toda retraccin debe ser un
epimorsmo. Tambin es llamado epi.
Un epimorsmo con inverso lateral
es llamado un epimorsmo split.
Supngase que dados g : W X y h : W X y toda
vez que f g = f h, se sigue que g = h. Entonces
f es un monomorsmo. Toda seccin debe ser un
monomorsmo. Tambin es llamado mono.
Un monomorsmo con inverso lateral es llamado un monomorsmo
split.
1
4 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS
Origen del texto y las imgenes, colaboradores y licencias
4.1
Texto
Morsmo Fuente: [Link] Colaboradores: Pino, Joseaperez, Elwikipedista, AlfonsoERomero, Rembiapo pohyiete (bot), RobotQuistnix, LarA, Akhram, Yrbot, KnightRider, Juan Marquez, CEM-bot, Mister, Thijs!bot, Cgb,
Balrog, Amanuense, VolkovBot, Muro Bot, Loveless, Belb, Raulshc, AVBOT, Nachotraidor, Metronomo, EmausBot, Grillitus, Erictellez,
Acratta, Addbot, Innosalva y Annimos: 20
4.2
Imgenes
Archivo:Commons-emblem-question_book_orange.svg
Fuente:
[Link]
Commons-emblem-question_book_orange.svg Licencia: CC BY-SA 3.0 Colaboradores: <a href='//[Link]/wiki/File:
[Link]' class='image'><img alt='[Link]' src='[Link]
commons/thumb/b/bc/[Link]/[Link]' width='25' height='25' srcset='https:
//[Link]/wikipedia/commons/thumb/b/bc/[Link]/[Link]
1.5x,
[Link] 2x'
data-le-width='48' data-le-height='48' /></a> + <a href='//[Link]/wiki/File:Question_book.svg' class='image'><img
alt='Question
[Link]'
src='[Link]
[Link]' width='25' height='20' srcset='[Link]
38px-Question_book.[Link] 1.5x, [Link]
[Link] 2x' data-le-width='252' data-le-height='199' /></a> Artista original: GNOME icon artists, Jorge 2701
4.3
Licencia del contenido
Creative Commons Attribution-Share Alike 3.0
