coalgebra06

Programa

Resumen de clases

Trabajos prácticos

• • Clase 1

  • Clase 2

  • Clase 3

  • Clase 4

  • Clase 5

  • Clase 6

  • Clase 7

• Clase 8

Bibliografía

Categorías

• • D. Turi: Category Theory Lecture Notes. LFCS, Univeristy of Edinburgh, 2001.

  • M. Caccamo, J.M.E. Hyland, G. Winskel: Lecture Notes in Category Theory. BRICS Lecture Series, 2001.

  • Adamek, Herrlich and Strecker: The Joy of Cats Un texto de referencia.

  • Toposes, Triples and Theories by Barr and Welles.

Coálgebra

• Libro por Bart Jacobs (borrador)

• Curso de Dirk Pattinson en NASSLLI 03

  • Artículo de Jan Rutten. Existe una versión

  • más nueva en la revista Theoretical Computer Science 249 (2000) 3-80.

  • Artículo por Gumm. Una introducción que no utiliza el pullback débil.