This page will be continuously updated during the course!
Andrés Sicard
Ramírez
<asr(at)eafit(dot)edu(dot)co>
Office
hours
Tuesdays, 18:00–20:00. Room 38-501A
(Textbook) S. Abramsky and N. Tzevelekos, [2011]. Introduction to Categories and Categorical Logic. In: New Structures for Physics. Ed. by Coecke, Bob. Vol. 813. Lecture Notes in Physics. Springer, pp. 3–94.
Steve Awodey [2010]. Category Theory. 2nd ed. Oxford University Press.
Brendan Fong, Bartosz Milewski and David I. Spivak [2020]. Programming with Categories (DRAFT). Last updated: October 6, 2020.
Bartosz Milewski [2019]. Category Theory for Programmers. Version 32. 17 May 2022.
| Activity | % |
|---|---|
| Homework | 60% |
| Programming lab 1 | 15% |
| Programming lab 2 | 15% |
| Presentation | 10% |
| Subject | Slides |
|---|---|
| Course Introduction | [ pdf ] |
| Introduction to Category Theory | [ pdf ] |
| Some Basic Constructions | [ pdf ] |
| Functors | [ pdf ] |
| Natural Transformations | [ pdf ] |
| Algebras and Recursive Data Types | [ pdf ] |
| Universality and Adjoints | [ pdf ] |
| The Curry–Howard Correspondence | In elaboration |
| Monads and Comonads | In elaboration |
| Appendix | [ pdf ] |