#kenron 圏論勉強会 第6回 まとめ

@9_ties さんによる圏論勉強会第四回のまとめです。 イベントサイト: http://partake.in/events/021d2d18-7bd7-499d-ab0b-04b0bc6161cc 開催日時: 2013年6月20日(木) 20:00 - 22:00 開催場所: 株式会社ワークスアプリケーションズ1階ラウンジ 資料: http://nineties.github.io/category-seminar/#/
1
前へ 1 2 ・・ 9 次へ
ちゅーん @its_out_of_tune

わくわく #kenron

2013-06-20 19:52:45
hiratara @hiratara

#kenron 会場入りしたとこ。 http://t.co/VeUpDbFGSB

2013-06-20 19:53:04
Yuta Okamoto @okapies

@yasushia ふむふむ。以前から名前は知ってたんですが、#kenron のおかげで何となく使い方のイメージが湧いてきた感じです。そのうち調べたいと思ってまする。

2013-06-20 19:54:03
Keisuke UTO @utotch

#kenron 今日は海外出張で出席できないので、遠隔授業することにする。(こちら早朝)

2013-06-20 19:54:04
Yuta Okamoto @okapies

先週の内容の理解が怪しいが、生き残れるだろうか…。 #kenron (live at http://t.co/qVR76nIv5L)

2013-06-20 19:59:10
ちゅーん @its_out_of_tune

圏論はノリと勢い #kenron

2013-06-20 20:00:29
Noriyuki OHKAWA @notogawa

はじまた #kenron

2013-06-20 20:01:00
さかばー @saka_bar

#kenron 始まったかな (今日は不参加)

2013-06-20 20:01:01
Keisuke UTO @utotch

#kenron はじまりー。今日はついていけるだろうか。。 (live at http://t.co/Bo0gS3HrEw)

2013-06-20 20:01:14
コスモ @cosmo__

始まった #kenron

2013-06-20 20:01:15
ちゅーん @its_out_of_tune

折り返し地点 #kenron

2013-06-20 20:01:47
na2hiro 💿 93連休終わった @na2hiro

全12回中6回目，来週から応用． #kenron

2013-06-20 20:02:17
Masayuki ITOU @mmitou

遅刻する人は#kenronで助けを求めて下さい。 気づいたら助けに行きます。 #kenron

2013-06-20 20:04:01
XENO @xenophobia__

今日は積・余積、及び極限について。 #kenron

2013-06-20 20:04:19
ざぎん 𒎎𒍝𒆳@C102 2日目東ペ-22a @na4zagin3

終対象は同型をのぞいて一意 #kenron

2013-06-20 20:04:30
XENO @xenophobia__

始対象・終対象 #kenron

2013-06-20 20:04:41
XENO @xenophobia__

終対象は(あれば)同型を除き一意。つまり実質一つしかない。 #kenron

2013-06-20 20:06:05
あも @amoO_O

いちいち説明がうまいんだよなぁ #kenron

2013-06-20 20:06:24
ampeloss @ampeloss

#kenron

2013-06-20 20:06:27
na2hiro 💿 93連休終わった @na2hiro

まずは終対象，始対象 #kenron

2013-06-20 20:07:09
コスモ @cosmo__

出たなWell-defined #kenron

2013-06-20 20:07:28
XENO @xenophobia__

well-definedness. 同型な対象はどれを具体的な対象として選んでも矛盾なく議論を進められる。 #kenron

2013-06-20 20:08:51
XENO @xenophobia__

0に始まり、1に終わる。 #kenron

2013-06-20 20:09:26
XENO @xenophobia__

始対象は終対象の双対なので、これもあるとすれば同型を除いて一意。 #kenron

2013-06-20 20:10:09
ちゅーん @its_out_of_tune

双対圏便利！！ #kenron

2013-06-20 20:10:09
前へ 1 2 ・・ 9 次へ

いま話題のタグ

水曜日のダウンタウン123 すがやみつる33 おがくず152 名探偵コナン496 絵師502 サーティワン31 逆カルチャーショック1 虎に翼14 お金675 インバウンド61 ゲゲゲの謎16 ファンタジー1655 ねこ2433 円安125 仮面アメリカ8