Dirk Pattinson
RSISE Buliding 115
The Australian National University
Canberra ACT 0200
Australia
E dirk.pattinson@anu.edu.au
T +61 (0)2 6125 8612
F +61 (0)2 6125 8651
The Australian National University
Canberra ACT 0200
Australia
E dirk.pattinson@anu.edu.au
T +61 (0)2 6125 8612
F +61 (0)2 6125 8651
Special Topic: Category Theory
Where and when
- Tuesdays, 13.00 -- 15.00, HN 3.41 (March 1) and HN 2.42 (from March 8)
- Thursdays, 12.00 -- 13.00, HN 2.42
Textbook
- Steve Awodey: Category Theory (main textbook)
- Tom Leinster, Basic Category Theory. [.pdf]
- Benjamin Piece, Basic Category Theory.
- Saunders MacLane, Categories for the Working Mathematician (historically the standard reference)
Assessment and Assignment Submission
- Homework week 2 due on Tuesday, 23.55 week 4
- Homework week n due Tuesday, 23.55 week n+1 for n>2
- Submission on Wattle.
Week by Week
- Week 1: organisation and distribution of talks
- Week 2: Dirk covering categories, opposite categories, initial / terminal objects, epis, monos and isos, and examples.
Homework questions [.pdf] - Week 3: Dirk covering (co-)products, equalisers, functors and examples.
Homework questions [.pdf] - Week 4: Oliver and Georgina on limits and colimits
Homework questions [.pdf] - Week 5: Jia En on Exponentials
Homework questions [.pdf] - Week 6: Oliver on the lambda calculus and ccc's, Dirk on locally cccs.
- Week 7: Jia En on functors and natural transformations
Homework questions [.pdf] - Week 8: Thomas on fuctor categories and Olin on Yoneda
Homework questions [.pdf] - Week 9: Pavel on categories of diagrams, Sam on adjoints
Homework questions [.pdf] - Week 10: Olin and Thomas on Monads and Algebras
Homework questions [.pdf] - Week 11: Ernest on Kahn Extensions
- Week 12: Aaron on toposes