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

Yuta Okamoto @okapies

「任意個の要素の積」って、もしかして Shapeless 関係ある？ https://t.co/6Bddm5xb04 #kenron #scalajp (live at http://t.co/qVR76nIv5L)

あも @amoO_O

一時間／小一時間 #kenron

あも @amoO_O

※ちゃんと授業は聞いています #kenron

XENO @xenophobia__

3つの対象A, B, Cからなる積は、『「2つの対象A, Bの積」と「1つの対象C」の積』および『「1つの対象A」と「2つの対象B, Cの積」の積』とそれぞれ同型。 #kenron 結合律的なアレ？

XENO @xenophobia__

今、#kenron ギャグがアツい

ざぎん 𒎎𒍝𒆳@C102 2日目東ペ-22a @na4zagin3

黒板の到来が待ち望まれる #kenron

あも @amoO_O

3つの図式のうち、左下のやつは(A0×A1)×A2じゃなくてA0×A1×A2なんじゃないかな #kenron

あも @amoO_O

(A0×A1)×A2≅A0×A1×A2はあとで自分でやってみよう #kenron

XENO @xenophobia__

A×BとB×A、A＋BとB＋Aは同型。 #kenron

na2hiro 💿 93連休終わった @na2hiro

圏の上での代数計算はモナドにつながる #kenron

ちゅーん @its_out_of_tune

積、余積、始対称、終対称を使えば圏の上で代数計算ができるよっ！ #kenron

XENO @xenophobia__

そしてA×1と1×A、A＋0と0＋Aはそれぞれ同型。ここに始対象を0、終対象を1と書いた理由がある。 #kenron

牛 @usi_kro

ほむほむ #kenron

ちゅーん @its_out_of_tune

HomのHom、ほむほむか。 #kenron

あも @amoO_O

ある種の準同型になっている #kenron

Nobuo Yamashita @nobsun

初心者が撃沈するHom集合に成り立つ等式 < ほんとの初心者はワケワカなので撃沈されたことに気づかない #kenron

あも @amoO_O

Hom_C(X, 1_C) ≅ 1_Sets #kenron

omanuke @omanuke

さあよくわからなくなってきました( ´ー｀)y-~~#kenron

ちゅーん @its_out_of_tune

双対ってこんな活躍するもんなのか。 #kenron

na2hiro 💿 93連休終わった @na2hiro

HomはC^op×C→Setsだったので，左側とは反変で右側とは共変だったなあ #kenron

hiratara @hiratara

#kenron が終わったとこ。 http://t.co/VeUpDbFGSB

あも @amoO_O

2×AがA+A と同型なのかを帰ったら考えてみる #kenron

na2hiro 💿 93連休終わった @na2hiro

次回からは，前半は圏論，後半は応用としていく #kenron

Yuta Okamoto @okapies

おつかれさまでしたー！ #kenron (live at http://t.co/qVR76nIv5L)

ちゅーん @its_out_of_tune

今日も楽しかったー #kenron