Category Theory for Computer Science 2009–10
Principal lecturer: Dr Bartosz Klin Additional lecturer: Dr Marcelo Fiore Taken by: MPhil ACS Syllabus
- Lecture slides
- Lecture 1: definition of category, examples
- Lecture 2: more examples, product of categories, duality, arrow categories, slice categories
- Lecture 3: iso-, mono- and epimorphisms, sections and retractions, initial and final objects
- Lecture 4: products and coproducts, equalizers and coequalizers
- Lecture 5: pullbacks and pushouts
- Lecture 6: limits and colimits
- Lecture 7: functors
- Lecture 8: functors ctd.
- Lecture 9: comma categories, natural transformations
- Lecture 10: no slides
- Lecture 11: natural transformations, functor categories
- Lecture 12: the double law, equivalence of categories, Yoneda Lemma
- Lecture 13: basics of universal algebra, free objects
- Lecture 14: left adjoints
- Lecture 15: right adjoints
- Lecture 16
(preliminary)
- Exercise sheets
- Problem sheet
|