証明は証明の過程を図式関係で表せば、コホモロジーのようなトポロジーによって把握されるようなものかもしれないな。