Weil予想ってトポスなくても証明できるんだけど。
圏論じゃなくてエタールコホモロジーじゃないの?