algebraic dialy(2017年12月)

ブログ名は暫定って事で…最近はtwitterの方が活発かも

プロフィール

名前: QQQ~

ぷよぷよ講座なんかをやってたりする者です。
詳細

twitter

最新記事

  1. CTAC3日目
  2. CTAC2日目
  3. CTAC1日目
  4. 式変形? なんか思ったことをつらつら書いただけ
  5. 2016年を振り返る(アニメ編)
  6. 2016年を振り返る(かまちー編)
  7. 2016年を振り返る(漫画編)
  8. 2015年を振り返る(ルール追加編)
  9. 2015年を振り返る(漫画編)
  10. 射の合成をするための命令を定義してみる

月別アーカイブ

2017年
  1. 01月(1)
  2. 07月(1)
  3. 12月(3)
2016年
  1. 01月(2)
  2. 12月(2)
2015年
  1. 01月(1)
  2. 04月(1)
  3. 05月(1)
  4. 07月(1)
  5. 08月(1)
  6. 12月(1)
2014年
  1. 02月(1)
  2. 07月(1)
  3. 09月(1)
2013年
  1. 03月(1)
  2. 05月(1)
  3. 10月(1)
  4. 12月(1)
2012年
  1. 04月(1)
  2. 05月(1)
2011年
  1. 03月(2)
  2. 07月(1)
2010年
  1. 01月(8)
  2. 02月(6)
  3. 03月(7)
  4. 04月(3)
  5. 05月(1)
  6. 07月(1)
  7. 10月(1)
2009年
  1. 01月(4)
  2. 02月(5)
  3. 03月(6)
  4. 04月(4)
  5. 05月(2)
  6. 06月(4)
  7. 07月(2)
  8. 08月(3)
  9. 09月(4)
  10. 10月(2)
  11. 11月(3)
  12. 12月(3)

カテゴリー

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を読んで昔証明を書いたのですが、まだトポスのページが無くて出せていなかったものを引っ張り出してきたものになります。多少ギャップがありますが仕方ない。