algebraic dialy

ブログ名は暫定って事で…最近は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)

カテゴリー

CTAC3日目

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

Category Theory Advent Calendar 2017 3日目 PDF

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

トラックバック

コメント

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

コメントする

何でも気楽にどうぞ。