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

はかり@C103 1日目東ソ44b @mg_toHKR

某論入門著者大丈夫なのかとか思ってたんですけどどうも有識者が大丈夫じゃない的なことを言ってるらしい

はかり@C103 1日目東ソ44b @mg_toHKR

英語の本を読む練習も兼ねてAwodey本ゼミをやったことがあるけど邦訳がまるで役に立たなかった事だけは覚えている

Loveブルバキ(ラブル) @lovebourbaki

かんどころ圏論入門期待してたんだけど微妙なんか

サクラ @1997_takahashi

圏論の入門書，なぜalg_d先生に執筆依頼が来ないのか

いない @u_inai

ネイティブ日本語話者にレビューしてもらった？すき

いない @u_inai

誤植のプロであることが発覚してしまったのか

そくらてす @7danmoroboshi

Awodey の訳者またやらかしたのか (よくわかってない

Atsushi Yamashita @yamyam_topo

そういえば、圏論最古？の和書である大熊正「圏論（カテゴリー）」は pullback と pushout をそれぞれ曳引、圧出と訳していたけど、これは定着していないな？

Atsushi Yamashita @yamyam_topo

というかこの本を見た頃は曳引とか言って描いている図式を見ても、ただ何本かの矢印が意味ありげに組み合わさっているのが分かるだけで、どういう数学的な現象を表すものなのか全く想像がつかなかった。あと、この曳引をはじめ、用語が面白いと思った。

Atsushi Yamashita @yamyam_topo

いまこそ、時代に先駆けすぎて忘れられた圏論入門書、大熊先生の本でゼミをすべき？

エヴィン・ラティエ @evinlatie

∞-誤植みたいな感じなのかな

なれ @nareO7

圏論かんどころやばそう、数ヶ月は様子みた方がいいな

V-alg-d（ZZ） @alg_d

@nareO7 様子見る必要ある????????

なれ @nareO7

@alg_d ない(たぶん買わない)

よし @ahbn112358

発売予定日前日にして専門家に焚書と言われる本って一体…

V-alg-d（ZZ） @alg_d

・自然変換の定義の前に自然変換が出てくる ・更にその前に随伴がでてくる ・コンマ圏の普遍性が間違っている(これは単なる誤植かもしれない)

画力・博士号・油田 @bd_gfngfn

「自然変換の定義の前に自然変換が出てくる」，Awodey本原著もそうだったような（自然変換とは言っていないが，いくつか例を挙げて「この変換は自然である」のような言及をしていた記憶がある）

V-alg-d（ZZ） @alg_d

@bd_gfngfn そういう具体例とかではなくて、かなり一般的な状況である種の自然変換が存在するという命題が述べられています(証明はない)

サクラ @1997_takahashi

未定義語の使用は数学書としては当然ダメだと思うんだけど，過去に某ブログで痛い目を見ているのでRTさえ怖い

V-alg-d（ZZ） @alg_d

・そもそもコンマ圏がコンマを使って(F, G)と書かれている(いつの人間だよ)

V-alg-d（ZZ） @alg_d

コンマ圏の定義のすぐ後にコンマ圏の普遍性の話が書いてあって(当然自然変換が出てくる)、へぇ～と思ってたら次のページから自然変換の定義が始まるの面白すぎるでしょ

いない @u_inai

alg_d、今すぐ圏論の正しい日本語入門書を出版した方がいい

V-alg-d（ZZ） @alg_d

圏論を初めて勉強するのでモノ射の定義がよくわからない pic.twitter.com/oxyN5pDau6

拡大

いない @u_inai

monicで出てきてる1=ker(f,g)はf=gを表すがよくわからんのやけど誰か教えてくれ