====== Teoría de Categorías ======

  * [[:categorias:anterior| Años anteriores]]

===== 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 {{https://www.famaf.unc.edu.ar/documents/1474/Fridlender.pdf | 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.

===== Contenidos, clase por clase =====



===== Bibliografía =====

  * [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.