20160702第14回数学カフェ「圏論！」

さかピ @sakapi1119

準同型を予習しておいてよかった(;･∀･) #math_cafe

さのたけと @taketo1024

がっつりした講義が展開されてる。 #math_cafe

岩淵夕希物智 @butchi_y

着いていけなくならないように、細かい質問をしまくります。 #math_cafe

とも @tomo37

定義が増え続ける #math_cafe

とも @tomo37

1があるというのは1があるということです #math_cafe

しらたき @srtk86

1があるというのは、1があるということです（恒等射） #math_cafe

とも @tomo37

再帰的に質問が生まれていきそう。 #math_cafe

とも @tomo37

ぴあのんさんに相談しよう！ #math_cafe

さかピ @sakapi1119

予習してなかったら泣いてた(o;∩;o) #math_cafe

denjiry @denjiry

１を持つ可換環の圏cRing Ob(cRing) : 1をもつ可換環 Hom(S,S') : 1を１に移す環準同型 o : 写像の合成 #math_cafe

しらたき @srtk86

Lispで書いたコードみたくなってる #math_cafe pic.twitter.com/hHGh3rVGoq

拡大

denjiry @denjiry

『圏論の技法』だとHom関手 Hom_c(X,−) #math_cafe

とも @tomo37

中の人が震えている #math_cafe

しらたき @srtk86

時間押してます！（残り5時間） #math_cafe

数学カフェ＠NPO法人 @mathcafe_japan

今日はみなさん活発に質問が飛び交っております。#math_cafe

hiratara @hiratara

#math_cafe タグに _ 入ってたのかあ・・・。

Tomohiko@草数学者、圏力トレーニング中 @KinebuchiTomo

聴衆がどのようか分からないと時間読むのは難しいですよね…… #math_cafe

hiratara @hiratara

#math_cafe このペースでどこまで進めるのかなあ。 hiratara.github.io/posts/2016-07-…

Tomohiko@草数学者、圏力トレーニング中 @KinebuchiTomo

「Setは具体的」…… 具体的とは!! #math_cafe

Typhon(ﾃﾎﾟ)/ShunYoshie✡ @Typhon666_death

これでビールがあれば、完全にロマンティック数学ナイト（ただし一人LT版）やねんけどなぁ… #math_cafe

Tomohiko@草数学者、圏力トレーニング中 @KinebuchiTomo

熱心に板書されているのか, つぶやきが少なめ #math_cafe

とも @tomo37

黒板の遷移がわからなくなっていく #math_cafe

岩淵夕希物智 @butchi_y

圏論の用語は変換しにくいのでPCでメモをとるには不向き点。 #math_cafe

Tomohiko@草数学者、圏力トレーニング中 @KinebuchiTomo

Aは前に出てきた「環Sからその元の組 (x, y) ∈ S^2で x^2+y^2=1 を満たすもの」というやつ #math_cafe

お***ぎ @muripo_life

院時代友達がやたら、Spec言ってたが、specの定義ってこれね