Teoría de Categorías

Generalidades

Docente: Daniel Fridlender.
Dictado: 2 clases teóricas semanales de 2 horas (horario a convenir) + horario de consulta para resolución de ejercicios (horario a convenir).
Regularidad: entrega de resolución de ejercicios seleccionados.
Examen: examen final integrador que incluirá la defensa de las resoluciones de los ejercicios seleccionados.
Programa: El programa fue tomado de los contenidos de [1]. El curso contará con más material, en particular se utilizará también [2] y quizá [3]. Además de los ejemplos tradicionales tomados de la matemática, se considerarán ejemplos de computación. También [4] refleja el enfoque adoptado, al menos en las primeras clases.

[1] Steve Awodey. Category Theory, 2006, 2010.
[2] Benjamin C. Pierce. Basic Category Theory for Computer Scientist, 1991.
[3] Andrea Asperti y Giuseppe Longo. Categories, Types and Structures: An Introduction to Category Theory for the Working Computer Scientist, 1991.
[4] Michael Barr y Charles Wells. Category Theory, 1999.
Jirí Adámek, Horst Herrlich y George E. Strecker. Abstract and Concrete Categories: The Joy of Cats, 1990, 2004.
F. William Lawvere, Stephen H. Schanuel. Conceptual Mathematics: A First Introduction to Categories, 1991.
Saunders Mac Lane. Categories for the Working Mathematician, 1971.
Jaap van Oosten. Basic Category Theory, 1995.
A. Schalk y H. Simmons. An Introduction to Category Theory in four easy movements, 2005.