「カリー／ハワード／ランベック対応の辞書： 推論規則再論」で次のように書いています。 $`A, B, X, Y`$ などは圏 $`\mathcal{C}`$ の対象を表します。$`I, J`$ なども $`\mathcal{C}`$ の対象ですが、これらを“集合とみなす方法”〈dereification〉があると…

「カリー／ハワード／ランベック対応の辞書」を皮切りにカリー／ハワード／ランベック対応に関して幾つかの記事を書きました。 カリー／ハワード／ランベック対応の辞書（最初の記事） 続・カリー／ハワード／ランベック対応の辞書 論理と圏論： 導入規則と…