gistfile1.md

神奈川大学圏論勉強会

メンバー

• 木下修司
• 原田崇司
• 竹視道覚

第2回 2015.04.22.

やったこと

• MacLane P.8の下から2つ目のパラグラフの記述。なぜIdentityが一意に決まるのか？証明できる？
• 証明に使えるものが少なすぎてよくわからない、という話になった。
• 具体的な圏を考えれば、証明できると思う。Setsとか。

第1回 2015.04.15.

やったこと

• MacLaneの最初の1，2ページ。
• Metacategoryの気持ち
• 今後の進め方→各人が読んできて、わからないところを質問、説明しあう。