# Jeff Egger

*Categories, Logic and Physics *

After a brief history of category theory and its relationship(s) to logic and physics, I will discuss what I personally consider to be the most interesting open problem in category theory; namely, how to define a quantum topos.