Entries from 2019-11-04 to 1 day

ハイティング代数の勉強

J. ヨスト著, 清水勇二訳 現代数学の基本概念 上 を読んでいて、p.35 の練習問題が難しかったので、この問題について書いておく。 p.35の練習問題とは、ハイティング代数において以下を示すことだ。 ハイティング代数は0と1を持つ束で冪対象を持つ。 冪対象…