Scribd
Cargar
100 vistas2 páginas

Extensiones de Kan

Este documento presenta tres temas relacionados con extensiones de Kan: 1) Ejemplos generales de extensiones de Kan izquierdas para diferentes categorías y functores. 2) Cómo calcular la extensión de Kan izquierda para un funtor desde la categoría de elementos de un funtor setoidal. 3) Cómo invertir elementos actuando sobre módulos, con ejemplos concretos utilizando polinomios y el anillo de polinomios.

Cargado por

Ramón Ruiz
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
100 vistas2 páginas

Extensiones de Kan

Este documento presenta tres temas relacionados con extensiones de Kan: 1) Ejemplos generales de extensiones de Kan izquierdas para diferentes categorías y functores. 2) Cómo calcular la extensión de Kan izquierda para un funtor desde la categoría de elementos de un funtor setoidal. 3) Cómo invertir elementos actuando sobre módulos, con ejemplos concretos utilizando polinomios y el anillo de polinomios.

Cargado por

Ramón Ruiz
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

Extensiones de Kan

Omar Antolín Camarena

22 de febrero de 2019

1. Ejemplos generales de extensiones de Kan izquierdas


Para cada uno de los siguientes functores K : A → B, describe la extensión de Kan iz-
quierda LanK F para un funtor F : A → C arbitrario (a una categoría cocompleta C). También
procura dar una descripción intuitiva de que significa el funtor arbitrario F , por ejemplo, si
A = B N un funtor F : A → C es un endomorfismo en C.

1. A = ∗ t ∗ = {0, 1}, la categoría con dos objetos y sin morfismos aparte de las identidades.
B = 2, la categoría con dos objetos y un morfismo entre ellos, 0 → 1.
K la inclusión obvia: 0 7→ 0, 1 7→ 1.

2. A = {1 ← 0 → 2}, la forma de diagrama para los coproductos amalgamados.


B = = {0 < 1 < 2}, el ordinal 3 pensado como categoría.
K la inclusión obvia i 7→ i.

3. A = 2, B = B N, K el funtor que elige el morfismo 1 ∈ N.

4. A = 2. B = I, la categoría con dos objetos 0 y 1, y un único isomorfismo entre ellos en


cada dirección (esos dos isomorfos son inversos uno del otro). K la inclusión obvia.

5. A = 2 t{0,1} 2, la categoría con objetos 0 y 1 y dos flechas paralelas entre ellos.


B = 2 y K el funtor que identifica las dos flechas.

2. Extensiones de Kan y la categoría de elementos


NOTA: Corregí la varianza de P yR la notación en la conclusión.
Sea P : A →RSet un funtor, y π : A P → A la proyección desde la categoría de elementos
de P 1 . Sea F`: A P → C un funtor arbitrario a una categoría cocompleta. Demuestra que
Lanπ F (A) = x∈P (A) F ((x, A)).
1
Recuerden que hay dos versiones de la categoría de elementos. Aquí queremos la versión donde un morfismo
(x, A) → (y, B) (con x ∈ P (A), y ∈ P (B)) es un morfismo f : A → B tal que P (f )(x) = y. No hay riesgo de
confusión pues la otra versión no tiene una proyección hacía A sino hacia Aop .

1
3. Invirtiendo elementos actuando sobre módulos
Vimos parte de este ejemplo en clase. Sea R un anillo conmutativo, M un R-módulo y a ∈ R.
Sea i : B N → B Z la inclusión y F : B N → ModR el funtor que corresponde al endormorfismo
ā : M → M , x 7→ ax.

1. Dijimos que
ā ā
Lani F (∗) = colim(M − → ···) ∼
→M − = M [a−1 ].
¿Qué sucede con los morfismos, qué es Lani F (1 ∈ Z)?

2. Como ejemplo concreto, sea M = R[x] y a = x. Describe Lani F y también Rani F .

También podría gustarte