This is a well written expository article summarising the topos approach to physics. In essence the claim is that general relativity and quantum mechanics live in different categories and that by building a new category for them both a unified theory should result. This is a commendable aim. I don’t do much in category theory …