Skip to content

Instantly share code, notes, and snippets.

View TakashiHarada's full-sized avatar

HARADA Takashi TakashiHarada

5 followers · 3 following
  • Kochi University of Technology
  • Kami City, Kochi, Japan
View GitHub Profile
@TakashiHarada
TakashiHarada / gist:a33fc4714c97a4296917
Last active August 29, 2015 14:20 — forked from kino3/gist:37ee4c6e2d57e490bed6

神奈川大学圏論勉強会

メンバー

第2回 2015.04.22.

やったこと

  • MacLane P.8の下から2つ目のパラグラフの記述。なぜIdentityが一意に決まるのか？証明できる？