【2017GW】何も決まっていないオフ会

ぴあのん @piano2683

これからする話の前置きとして、「任意の函手がGrothendieck fibrationとホモトピー同値」の証明の概略を話してる

ワヘイヘイ @waheyhey

@piano2683 まーた圏論の歴史が動いちまうのか

V-alg-d（ZZ） @alg_d

@waheyhey @piano2683 そうやってすぐ歴史動かすのやめーや

ワヘイヘイ @waheyhey

@alg_d @piano2683 歴史があんまりにも動くと歴史酔いして気持ち悪くなるから、ほどほどにしてほしい

ぴあのん @piano2683

4:00くらいにみんな寝た

V-alg-d（ZZ） @alg_d

ココンマ圏を使った随伴の特徴付け pic.twitter.com/tAqys00sFY

拡大

V-alg-d（ZZ） @alg_d

コンマ圏を使った随伴の特徴付けは圏論の基礎にも書いてある常識だけどココンマ圏でもできるという話(ココンマ圏の構成方法を知っていれば自明です)

まれいん @Maleic1618

おは

四国代表 @ftfotori

オハ

四国代表 @ftfotori

最高気温25℃なの！？ まだ5月になったばっかりだよね？ これは溶けちゃう(笑)

いない @u_inai

最近寝起きに目がしぱしぱしててそれはメラトニンサプリのせいかと思ってたけど今日はサプリなしでもそんな感じなので関係ないことがわかった

ぴあのん @piano2683

各位が起きる気配がない

y. @waidotto

起床

まれいん @Maleic1618

いつ天一なんだ

四国代表 @ftfotori

天一のこととか完全に忘れててヒレカツ弁当食べちまった

ぴあのん @piano2683

＠各位 全員起きたので、13:00目標で天一向かいます。合流される方はリプください。

まれいん @Maleic1618

@piano2683 はい

はねてない君 @srb_2

まだ徹夜明け天一とか行ってるのか、頭悪いのでは

ぴあのん @piano2683

@srb_2 alg_d「徹夜明けじゃないんだよなぁ、普通に寝ちゃったから」

V-alg-d（ZZ） @alg_d

何も決まっていないオフなのに普通に寝てしまったので頭悪い

いない @u_inai

13:00なら行けるかなぁ

四国代表 @ftfotori

みんなもう若くないんだから徹夜なんてやめましょう

V-alg-d（ZZ） @alg_d

みんな若くないのかよ俺若いぜｗ

四国代表 @ftfotori

さすが中学生は違うな