Modern mathematics is often seen to be built from the ground up from a foundation of set theory axioms, and we are all used to seeing maths done in terms of sets; however, category theory, designed primarily as a tool for algebraic topology, can be also be used as a foundation for mathematics.

Come and hear Ben Simpson explain how one can think of sets in terms categories, and how this makes several areas of maths that little bit shinier.

After which, we naturally transform ourselves towards the pub.

Update: Unfortunatley, it looks like Ben won't be able to present his talk this evening but we will nevertheless hold a "free-for-all" DG instead (same time and place, of course).