前原 和壽著『圏論入門』実況

ぴあのん @piano2683

@u_inai Ker(f,g)=Xだと思う

いない @u_inai

@piano2683 ですよねぇ 1はどこからやってきたんだ…

ぴあのん @piano2683

@u_inai あなたの心だけに存在する1

いない @u_inai

@piano2683 みんな思い思いの1を持つけど全部同型だから人類皆兄弟という強いメッセージ性

ぴあのん @piano2683

@u_inai ポエムじゃん

いない @u_inai

@piano2683 奏でてこ

V-alg-d（ZZ） @alg_d

ここクールすぎて笑う(入門書なんだからもっと説明してあげて?!) pic.twitter.com/M0dm0wYvRG

拡大

V-alg-d（ZZ） @alg_d

ちなみに局所スモール圏は健在なので局所スモールファンの皆さんは安心してください

いない @u_inai

@alg_d やったあ！俺たちの局所スモールだ！！！

V-alg-d（ZZ） @alg_d

関手の定義…… pic.twitter.com/YnB888b3Pj

拡大

いない @u_inai

だめだ functorの図面白すぎてずっと笑ってる

いない @u_inai

covariance的なことを言いたいと思うんだけどX -> FXに矢印かくのはだめだろｗｗｗｗ

いない @u_inai

入門書で\mapstoを\toで書くのは絶対にやってはいけないやつやぞ

ペーパー @paper3510mm

対応の矢印と射の矢印を区別しないスタイル (ob(C)とOb(D)でうける、校正されてねえな？) twitter.com/alg_d/status/1…

V-alg-d（ZZ） @alg_d

@paper3510mm この人 \mapsto 知らないのかなと思ったら後で出てきました

ペーパー @paper3510mm

@alg_d \ni は知ってましたか？

V-alg-d（ZZ） @alg_d

@paper3510mm 今のところ見てない気がする

dif_engine @dif_engine

「どこにおける」図式なんだろうか twitter.com/alg_d/status/1…

dif_engine @dif_engine

僕も似たような図式を書くことがあるけど圏をまたぐところは点線にするなどの工夫をしてる．

Atsushi Yamashita @yamyam_topo

例えば学びたての方がセミナー発表でこの図式を書いたとすれば、私といえどもチョットマテと言ってこちらで説明を入れたくなるだろう。そういう場面を想起してしまう。

Atsushi Yamashita @yamyam_topo

もちろんあわてて補足すれば、学びたての方がついこの図式を書いてしまうことには何も問題はない。

V-alg-d（ZZ） @alg_d

知らなかった pic.twitter.com/VxmhdqnBRo

拡大

拡大

V-alg-d（ZZ） @alg_d

なんやねんこの図式 pic.twitter.com/Hd2p4xdtBn

拡大

V-alg-d（ZZ） @alg_d

終圏 ¥mathbb{1} wwwww(てか他にも突っ込みどころしかないこの文やべえな) pic.twitter.com/yNTToyLtPl

拡大

ぴあのん @piano2683

本日一番笑った