Teaching


Category Theory '24

Functorial Semantics '24

Introduction to Topos Theory '24

Master in Logic at GU.

Past courses? Check out the !

Suggested readings? Open some s!

Looking for a thesis supervisor? Yes!