セオリーT⊆Sen(Σ)を対象として、“Tを前提としてS（S⊆Sen(Γ)）を帰結するような証明（図、ネット）”を射とする圏を考える。これはπインスティチューション、ないしはπインスティチューションからModを除いた構造の上で定義できる。この圏をProofとする。α∈Pro…

ねじりがジグザグから出るのか？ まー、僕の見落としとか勘違いがあるかもしれないが、ジグザグ⇒ねじり がサッパリわかん。左右のねじりを仮定するなら： ヤンキング ⇔ ジグザグ がいえる。次の図、左右対称だから、Z字もS字もヤンキングから出る。 f:A→Bか…