CTAC3日目
Category Theory Advent Calendar 2017の3日目です。
Category Theory Advent Calendar 2017 3日目 PDF
「選択公理⇒排中律」です。参考文献で上げているJohnstoneを読んで昔証明を書いたのですが、まだトポスのページが無くて出せていなかったものを引っ張り出してきたものになります。多少ギャップがありますが仕方ない。
トラックバック
コメント
コメントはまだありません。
なにかあったらすぐtwitterに書いてしまうのであまり更新しません
Category Theory Advent Calendar 2017の3日目です。
Category Theory Advent Calendar 2017 3日目 PDF
「選択公理⇒排中律」です。参考文献で上げているJohnstoneを読んで昔証明を書いたのですが、まだトポスのページが無くて出せていなかったものを引っ張り出してきたものになります。多少ギャップがありますが仕方ない。
コメントはまだありません。