Buzzard as far as I'm aware is interested in finding mistakes in mathematical work by "real" (i.e. in his own words people doing topology rather than category t

Buzzard as far as I'm aware is interested in finding mistakes in mathematical work by "real" (i.e. in his own words people doing topology rather than category theory) mathematicians, so that position makes sense.