Steve Awodey
Steve Awodey's GitHub pages
View My GitHub Profile
Cambridge sabbatical 2026-27
activities 2026
lectures
28 January, CST Wednesday Lecture:
What is HoTT?
[slides]
2 February - 9 March, Weekly Lectures:
Categorical Logic and Type Theory
12 February, Formalization of Mathematics Seminar:
HoTTLean
research projects
HoTTLean
other stuff
Office: Gates Building FC08
contact