Synthetic category theory 2

Die folgenden Informationen sind noch nicht freigegeben und deshalb unverbindlich:

Synthetic category theory 2

Semester
SoSe 2026

Lecturer
Denis-Charles Cisinski

Type of course (Veranstaltungsart)
Vorlesung

German title
Synthetische Kategorientheorie 2

Contents
We will focus on two topics from the synthetic point of view:

stable categories and K-theory
presentable categories

Literature
Bastiaan Cnossen, Kim Nguyen and Tashi Walde, Formalization of Higher Categories https://drive.google.com/file/d/1lKaq7watGGl3xvjqw9qHjm6SDPFJ2-0o/view?usp=sharing [https://drive.google.com/file/d/1lKaq7watGGl3xvjqw9qHjm6SDPFJ2-0o/view?usp=sharing] Rune Haugseng, lecture notes on higher category theory https://runegha.folk.ntnu.no/naivecat_web.pdf [https://runegha.folk.ntnu.no/naivecat_web.pdf] Jacob Lurie, Kerodon https://kerodon.net/ [https://kerodon.net/]

Recommended previous knowledge
Prerequisites: Yoneda lemma and straightening/unstraightening in the setting of synthetic category theory

Time/Date
Lecture: Tuesday 14-16 h and Thursday 16-18 h Exercise class: Wednesday 14-16 h

Location
Lecture: Tuesday in M101, Thursday in M103 Exercise class in PHY 5.0.21

Registration

Registration for course work/examination/ECTS: FlexNow

Course work (Studienleistungen)

Successful participation in the exercise classes:
Oral examination (without grade): Duration: , Date:

Examination (Prüfungsleistungen)

Oral exam: Duration: 30 min, Date: by appointment, re-exam: Date:

Modules
BV, MV, MArGeo, MGAGeo, LA-GyGeo

ECTS
9