algebraic dialy(2017年12月)

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

[an error occurred while processing this directive]

CTAC1日目

Category Theory Advent Calendar 2017の1日目ということで、Math Advent Calendar 2017 1日目に対抗してp進整数環の話を書きました。

Category Theory Advent Calendar 2017 1日目 PDF

ちなみに、代トポのサイトを眺める日課でFractalのページを発見して、こういうのもあるのかと思って書きました。

CTAC2日目

Category Theory Advent Calendar 2017の2日目「明日使える? Kanリフトの話」です。

Category Theory Advent Calendar 2017 2日目 PDF

CTAC3日目

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

Category Theory Advent Calendar 2017 3日目 PDF

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