2013-06-10から1日間の記事一覧
右カン拡張のお勉強の一環として、自己カン拡張から余密度モナド(codensity monad)を作ろうとして描いた絵。サボテンのようなパイプのような。参考にしているネタ元は、Ralf Hinze, "Kan Extensions for Program Optimisation Or: Art and Dan Explain an …
右カン拡張もラムダ計算の仲間らしいので、カリー/ハワード・スタイルの対応がありますね。表にします。 連言・含意の論理 型付きラムダ計算 右カン拡張 命題 P, Q 集合 A, B 関手 F, G 帰結関係 P |- Q 写像 f:A→B 自然変換 α::F⇒G 連言 P∧Q 直積 A×B 結合…