以下、https://arxiv.org/pdf/0706.1033.pdf （「コック達論文」として言及）のズーム複体を見ていて、思ったこと； ゲンツェンのNK証明図とLK証明図の関係がストリング図とメタストリング図の関係として説明できるだろう、ということ。まず、コック達論文用…