#kenron 圏論勉強会 第1回 まとめ
@9_ties さんによる圏論勉強会第一回のまとめです。
イベントサイト: http://partake.in/events/9d4604e3-8bdc-4d47-92a1-a0f39dfa9b6e
開催日時: 2013年5月16日(木) 20:00 - 22:00
開催場所: 株式会社ワークスアプリケーションズ1階ラウンジ
資料: http://nineties.github.io/category-seminar/#/
続きを読む
終了後
yhara (Yutaka HARA)
@yhara
#kenron 集合やらなんやらの例の上に、一段レベルの高い概念として「圏、対象、射」があり、さらにその一段上に「随伴、函手、自然変換」があるのかな〜
2013-05-16 21:53:27