Profesor | Saúl Arce Rocha | lu mi vi | 19 a 20 | P104 |
Ayudante | Luis Manuel Venegas Grajales | ma ju | 19 a 20 | P104 |
TEORÍA CATEGÓRICA DE LOS CONJUNTOS
El material qe proponemos qubrir en este seminario es el siguiente:
1. Conceptos preliminares. Conjunto simple, cardinalidad, morfismo entre conjuntos simples, Ley asociativa de la composición de los morfismos, elemento estricto, elemento generalizado, separador, parte, pertenencia, inclusión, intersección, imagen inversa, morfismo característico.
2. Axiomas de objetos iniciales y terminales.
3. Coproducto de dos conjuntos simples. Propiedad universal del coproducto.
4. Morfismo constante. Caracterizaciones de la imagen inversa y de la intersección.
5. Secciones y retracciones.
6. Producto de dos conjuntos simples. Propiedad universal del producto.
8. Igualadores, productos fibrados y límites.
9. Dualidad.
10. Morfismo fuertemente suprayectivo. La epi-mono-factorización.
11. La exponenciación, su axiomática y sus propiedades.
12. La Ley distributiva.
13. La propiedad del punto fijo para los objetos.
14. Morfismo distinguido de P(X) a P(P(X)).
BIBLIOGRAFÍA: 2002 William Lawvere, Sets for Mathematics (with Robert Rosebrugh). Cambridge Uni. Press