「コラージュ図式： 圏論的判断計算の主要な道具 // コラージュ図式」より： コラージュ図式〈collage diagram〉は、ここでの判断計算の主役です。通常の図式と同様に、形状〈shape〉である図形の各セルにターゲット・ドクトリン内のモノを割り当てます。た…