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.

Diapositivas

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

Actividades evaluativas