まじか，Elephantなんでも書いてあるな

arXiv math.CT Category Theory @mathCTbot

Jeremy Rickard : A cocomplete but not complete abelian category arxiv.org/abs/1805.10682

V-alg-d（ZZ） @alg_d

abstractが「余完備だが完備でないアーベル圏作りました」だけな時点で面白いのに、本文1行目が「インターネットサイトMathOverflowに投稿された質問です」なのウケる

V-alg-d（ZZ） @alg_d

internet site……いったいどんな景なんだ……?

ぴあのん @piano2683

@alg_d Elephant Part Cを読め

V-alg-d（ZZ） @alg_d

@piano2683 まじか、Elephantなんでも書いてあるな

ぴあのん @piano2683

@alg_d と思うじゃん？トポス理論に少し深入りすると本当に初歩しか書いてないことがわかる

V-alg-d（ZZ） @alg_d

@piano2683 いやでもinternet siteについて書いてあったらもうなんでも書いてあるようなもんだよ

ぴあのん @piano2683

@alg_d 【悲報】internal siteと読み違えてた

V-alg-d（ZZ） @alg_d

@piano2683 せやな

ぴあのん @piano2683

@alg_d internal siteはinternet siteに書いてあるか問題がある（？）

V-alg-d（ZZ） @alg_d

@piano2683 ぴあのん.comじゃん

ぴあのん @piano2683

@alg_d 一理ある

V-alg-d（ZZ） @alg_d

画像貼ったつもりだったのに貼れてなかった pic.twitter.com/AwzoFQPGMZ

拡大