#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/#/
続きを読む
蟷螂 | kamakiri01 | C103二日目東5へ26b
@kamakiri_ys
#kenron あれ、そういえば対の対象Pと対象Xは同じ圏にあるという認識でいいんだろうか。というかX→Pの変換があるって保障されてる?
2013-05-16 22:51:00
Yoshihiro Imai
@yoshihiro503
今日は講義もよかったけど、itp社内で自然変換とかについてイロイロ議論したのも楽しかった。 #kenron
2013-05-16 23:25:35
Seizan Shimazaki
@seizans
お疲れ様でした。好評だったようで何よりです。会場が狭かったりスクリーン下部が見にくかったりしてすいません。本当に100人も来ると思わなかったんだよ!来週の募集ページは明日アップします。 #kenron
2013-05-17 00:10:02
shige
@takeishg
今日の圏論勉強会でポータブルHDDお忘れの方、いらっしゃいませんか?会社でお預かりしていますので、私までご連絡を。 #kenron
2013-05-17 00:13:15
高梨陣平
@jingbay
#kenron 中村先生、スタッフの皆様、本日は本当にありがとうございました。Haskellをほんの少し齧った程度の人ですがとてもわかりやすかったです。
2013-05-17 00:20:30
∃ugene -Yokota 🥙 mastodon.social/@eed3si9n
@eed3si9n
first of 12-week category theory study group took place in Tokyo inspired by @kmett. #kenron Begleitlektüre Awodey - http://t.co/jTStRwG7ze
2013-05-17 00:58:22
はなだ☆のぶかず@lisp &ボドゲ勢ボドゲプレイヤー)
@nobkz
僕は福岡の勉強会で登壇したから行けなかったけど、100人も集まるなんて凄いね。行きたかったなぁ。#kenron
2013-05-17 02:08:24