m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 右カン拡張もラムダ計算の仲間らしいので、カリー／ハワード・スタイルの対応がありますね。表にします。 連言・含意の論理 型付きラムダ計算 右カン拡張 命題 P, Q 集合 A, B 関手 F, G 帰結関係 P |- Q 写像 f:A→B 自然変換 α::F⇒G 連言 P∧Q 直積 A×B 結合 F;G 含意 P⊃Q 写像集合 BA 右カン拡張 FG 演繹定理 カリー双射対応 カン双射対応 含意導入 ラムダ抽象 自然変換のシフト モーダスポネンス 適用／評価 自然変換のアンシフト 推論／証明 写像の計算 自然変換の計算 証明図 計算図 ストリング図 自然変換の「シフト（shift）」という言葉は… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20130610%2F1370820545" title="カリー／ハワード対応の新しい仲間 - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2013-06-10 08:29:05 rich https://m-hiyama.hatenablog.com/entry/20130610/1370820545 1.0 100%