The Octoberfest is a noble tradition in category theory: a low-key, friendly conference for researchers to share their work and thoughts. This year it’s on Saturday October 26th and Sunday October ...
I called this chapter of my course “Relations”, but I should have called it “Specifying subsets and functions”, because that’s what it’s all about. This week, we saw that it’s possible to define ...