Skip to content

Instantly share code, notes, and snippets.

@TakashiHarada

TakashiHarada/gist:a33fc4714c97a4296917

Forked from kino3/gist:37ee4c6e2d57e490bed6
Last active August 29, 2015 14:20
Show Gist options
  • Save TakashiHarada/a33fc4714c97a4296917 to your computer and use it in GitHub Desktop.
Save TakashiHarada/a33fc4714c97a4296917 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.md

神奈川大学圏論勉強会

メンバー

第2回 2015.04.22.

やったこと

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

第1回 2015.04.15.

やったこと

  • MacLaneの最初の1，2ページ。
  • Metacategoryの気持ち
  • 今後の進め方→各人が読んできて、わからないところを質問、説明しあう。
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment