Programa general

• Part I: Categories and Structures

  • Categories

  • Constructions

  • Functors and Natural Transformations

• Part 2: Types as Objects

Referencias

• Andrea Asperti, Giuseppe Longo. Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist Foundations of computing. MIT Press, 1991.

• Steve Awodey. Category Theory. Volumen 52 de Oxford Logic Guides, 2010.

• Bartosz Milewski. Category Theory for Programmers. 2019 https://github.com/onlurking/category-theory-for-programmers.

Diapositivas

https://drive.google.com/file/d/1WfqymQz4Xu0DACItzqUrpj9zGYbCUHZ3/view?usp=sharing 

Actividades evaluativas

• Parciales (50%): semanas 7 y 14.

• Actividades de clase (50%).