Categories by examples
Course Instructors
Room
SFB Room ( 02.06.011 )
Participants
- Vincent Steffan
- Maximilian Schmahl
- Marwin Forster
- Stephen Diadem
- Lukas Thiele
- Niklas Gschwendtner
- Ludwig Heizer
- Tobias Dölling
Topics
Tuesday October 25, 10-12
- Basic definitions [Rie 1.1, Awo 1.1–1.3,1.8] Marwin
- Examples of categories [Awo 1.4,1.5] Max
Tuesday Nov 8, 10-12
- Abstract structures [Rie 1.2, Awo 2.1–2.2,2.4] Vincent
- Duality [Awo 3] Vincent
Tuesday Nov 15, 10-12
- Functors [Rie 1.3, Awo 2.7, 7.1] Lukas
- Limits [Awo 5] Niklas
Tuesday Dec 6, 10-12
- Natural transformations [Awo 7.2,7.4,7.5,7.7,7.9,7.10 (selected topics)] Ludwig
- Yoneda Lemma [Rie 2.1,2.2, Awo 8.2-8.4] Niklas
Tuesday Dec 13, 10-12
- Euler characteristic and simplicial homology [Mun 1.2, 1.3, 1.5, 1.12] {Zom 2.3, 4.1, 4.2, Ede 8,9, Ghr 2,3} Marwin
- Universal properties [Rie 2.3] Ludwig
Tuesday Dec 20, 10-12
- Functional programming [Has, Yon] {Bae} Lukas
- Adjunctions [Rie 4.1] Tobi
Tuesday Jan 10, 10-12
- Databases [Spi 3.5] Steven
- Kan extensions [Rie 6, Awo 9.6] Tobi
Tuesday Jan 17, 10-12
- Clustering [Car] Max
- Monoidal categories and physics [Awo 4.1, 7.8, Phy] {Bae} Steven
[recommended]
{additional reading}
Books
Other literature