このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

2009-03-18から1日間の記事一覧

参考：選言と否定

セミナー 論理

2009-03-19セミナーでは扱わないけど（いや、触れるか？）。 A B --- --- . . . . A∨B C C ‖ ↓ #1 #2 --- --- A B --- --- . . . . A∨B C C -----------------[∨消去 #1, #2] C∨消去は⊃の導入と似た感じになる。∨の導入は簡単で、∧の消去と双対。否定に関し…

高次圏とホモトピーと代数

高次圏論 リンク

プレゼンのスライド Title: When pseudo comes for free Author: Richard Garner URL: http://www.dpmms.cam.ac.uk/~rhgg2/Talks/PSSL85.pdf Pages: 32 スライド