19/09/2018, 04:10:47 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: LISTADO ACTUALIZADO DE CURSOS
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Caracterización de isomorfismo de categorias  (Leído 267 veces)
0 Usuarios y 1 Visitante están viendo este tema.
malboro
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Perú Perú

Mensajes: 911



Ver Perfil
« : 11/03/2018, 12:08:55 pm »

Definición: Un funtor [texx]F:A\longrightarrow{B}[/texx] es un isomorfismo si y solo solo existe un funtor [texx]G:B\longrightarrow{A}[/texx] tal que [texx]G\circ{F}=1_A[/texx] y [texx]F\circ{G}=1_B[/texx].

En este caso [texx]A [/texx] y [texx]B[/texx] se dicen isomorfos.

Proposición: Un funtor [texx]F:A\longrightarrow{B}[/texx] es un isomorfismo si y solo si es pleno, fiel y biyectivo en objetos.

La ida si conseguí probar, espero una idea para la vuelta.

Gracias

En línea

Es verdad que un matemático que no tenga algo de poeta nunca será un matemático perfecto.
geómetracat
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 243



Ver Perfil
« Respuesta #1 : 12/03/2018, 08:24:49 am »

Si un funtor [texx]F:A \rightarrow B[/texx] es pleno, fiel y biyectivo en objetos, puedes definir un nuevo funtor [texx]G:B \rightarrow A[/texx] de la siguiente manera. En objetos, [texx]G(b)[/texx] es el único objeto de [texx]A[/texx] tal que [texx]F(G(b)) = b[/texx]. Y en morfismos, [texx]G(f)[/texx] es el único morfismo de [texx]A[/texx] tal que [texx]F(G(f)) = f[/texx].

El hecho de que [texx]F[/texx] es fiel, pleno y biyectivo en objetos se usa para ver que [texx]G[/texx] está bien definido. Y una vez tienes esto, es inmediato que [texx]G[/texx] es el funtor inverso de [texx]F[/texx].
En línea

La ecuación más bonita de las matemáticas: [texx]d^2=0[/texx]
malboro
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Perú Perú

Mensajes: 911



Ver Perfil
« Respuesta #2 : 04/09/2018, 02:22:17 am »

Hola Geómetracat.

Ya conseguí.


* Captura_de_pantalla_de_2018-09-14_080133.png (192.59 KB - descargado 2 veces.)
En línea

Es verdad que un matemático que no tenga algo de poeta nunca será un matemático perfecto.
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!