ストライブ計算とケーブル計算は同じこと。ギャートルズ計算＝マテリアル計算の立場からはケーブル計算と呼ぶのが適切かな。ストライブ計算は、C, Dがモノイド圏か2-圏のときに、関手圏[C, D]内の計算をすること。特に、ラックス・モノイド関手、タイト・モ…

健全 sound 適切 adequate（だいたいアディクエットでアにアクセント） 完全 complete 正しい correct 健全かつ適切なら完全正しさには証明可能性と妥当性がある。 証明論的に正しい＝証明可能 |- p モデル論的に正しい＝妥当 M |= p 普遍的に妥当 |= p |= p…

マッカーディのストライプ図を使った計算と推論。CからDへの関手圏での計算。マテリアル計算の事例。 素材 ストライプ図 説明 ワイヤー Cの対象 ワイヤーノード Cの射 シース内ブランク Cのモノイド積 空ワイヤー Cの単位対象 シース 関手 ケーブル 関手の値…

シース（外部被覆）の材質としては、PVC（ポリ塩化ビニル）、PE（ポリエチレン）などが使われる。*1 *1:記事： http://www.aim-ele.co.jp/tech/metal-tech15/ 画像： http://www.aim-ele.co.jp/tech/metal-tech15/images/hifuku.jpg