Categories, Knots, and Incompleteness

Self enrolment
The course constructs graphs, surfaces, then knots in a category, while showing the implications of Gödel's Incompleteness Theorems.