#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/#/ 続きを読む
12
前へ 1 ・・ 9 10 12 次へ
@usi_kro

List<T>はリスト関手? #kenron

2013-05-16 21:39:55
XENO @xenophobia__

パラメータに依存しない性質は自然であるといえる。 #kenron

2013-05-16 21:40:33
@usi_kro

List<T>の実装はTに依存しない #kenron

2013-05-16 21:40:56
XENO @xenophobia__

lengthはList→Intの自然変換と見ることができる。 #kenron

2013-05-16 21:43:13
@usi_kro

length は List<T> の型 T によらない #kenron

2013-05-16 21:43:20
@usi_kro

"モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも?" #kenron

2013-05-16 21:44:37
しょしー @syocy

この図の右のid_Intはfが正しいのではないだろうか #kenron

2013-05-16 21:44:41
XENO @xenophobia__

関手の圏……あれ、圏の圏(Cat)ってやったっけ? #kenron

2013-05-16 21:45:05
XENO @xenophobia__

随伴!これは要チェック。 #kenron

2013-05-16 21:45:34
na2hiro 💿 93連休終わった @na2hiro

「自己関手の圏は理解出来ましたね.全部理解するにはあと4週来ていただかないと…」(笑) @z_kro: "モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも?" #kenron

2013-05-16 21:45:52
おでんですよ! @oden_wa

次回以降、怖くない圏論から怖い圏論へ突入するのか #kenron

2013-05-16 21:46:08
さかばー @saka_bar

随伴の何がうれしいのかは、まだ分からない #kenron

2013-05-16 21:48:57
ちゅーん @its_out_of_tune

随伴、わかったよーなわからんよーな #kenron

2013-05-16 21:50:09
XENO @xenophobia__

随伴の記述は関手と自然変換でなされる非常に抽象度の高い(よい)言葉による議論である。 #kenron

2013-05-16 21:51:57
@usi_kro

随伴のいい所:カッコイイ #kenron

2013-05-16 21:52:15
Yosuke Mizutani @mogproject

抽象度の高い会話はかっこいい #kenron

2013-05-16 21:52:29
XENO @xenophobia__

随伴はまだイメージできない。 #kenron

2013-05-16 21:52:39
ssmylh @ssmylh

楽しかった!ありがとうございました。 #kenron

2013-05-16 21:52:48
前へ 1 ・・ 9 10 12 次へ