algebraic dialy

なにかあったらすぐtwitterに書いてしまうのであまり更新しません

[an error occurred while processing this directive]

CTAC3日目

Category Theory Advent Calendar 2017の3日目です。

Category Theory Advent Calendar 2017 3日目 PDF

「選択公理⇒排中律」です。参考文献で上げているJohnstoneを読んで昔証明を書いたのですが、まだトポスのページが無くて出せていなかったものを引っ張り出してきたものになります。多少ギャップがありますが仕方ない。

トラックバック

コメント

コメントはまだありません。

コメントする

何でも気楽にどうぞ。