Morfismo PDF

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 2

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: https://es.wikipedia.org/wiki/Morfismo?oldid=82249552 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:
https://upload.wikimedia.org/wikipedia/commons/1/1f/
Commons-emblem-question_book_orange.svg Licencia: CC BY-SA 3.0 Colaboradores: <a href='//commons.wikimedia.org/wiki/File:
Commons-emblem-issue.svg' class='image'><img alt='Commons-emblem-issue.svg' src='https://upload.wikimedia.org/wikipedia/
commons/thumb/b/bc/Commons-emblem-issue.svg/25px-Commons-emblem-issue.svg.png' width='25' height='25' srcset='https:
//upload.wikimedia.org/wikipedia/commons/thumb/b/bc/Commons-emblem-issue.svg/38px-Commons-emblem-issue.svg.png
1.5x,
https://upload.wikimedia.org/wikipedia/commons/thumb/b/bc/Commons-emblem-issue.svg/50px-Commons-emblem-issue.svg.png 2x'
data-le-width='48' data-le-height='48' /></a> + <a href='//commons.wikimedia.org/wiki/File:Question_book.svg' class='image'><img
alt='Question
book.svg'
src='https://upload.wikimedia.org/wikipedia/commons/thumb/9/97/Question_book.svg/25px-Question_
book.svg.png' width='25' height='20' srcset='https://upload.wikimedia.org/wikipedia/commons/thumb/9/97/Question_book.svg/
38px-Question_book.svg.png 1.5x, https://upload.wikimedia.org/wikipedia/commons/thumb/9/97/Question_book.svg/50px-Question_
book.svg.png 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

También podría gustarte