CTAC1日目
Category Theory Advent Calendar 2017の1日目ということで、Math Advent Calendar 2017 1日目に対抗してp進整数環の話を書きました。
Category Theory Advent Calendar 2017 1日目 PDF
ちなみに、代トポのサイトを眺める日課でFractalのページを発見して、こういうのもあるのかと思って書きました。
なにかあったらすぐtwitterに書いてしまうのであまり更新しません
Category Theory Advent Calendar 2017の1日目ということで、Math Advent Calendar 2017 1日目に対抗してp進整数環の話を書きました。
Category Theory Advent Calendar 2017 1日目 PDF
ちなみに、代トポのサイトを眺める日課でFractalのページを発見して、こういうのもあるのかと思って書きました。
Category Theory Advent Calendar 2017の2日目「明日使える? Kanリフトの話」です。
Category Theory Advent Calendar 2017の3日目です。
Category Theory Advent Calendar 2017 3日目 PDF
「選択公理⇒排中律」です。参考文献で上げているJohnstoneを読んで昔証明を書いたのですが、まだトポスのページが無くて出せていなかったものを引っ張り出してきたものになります。多少ギャップがありますが仕方ない。