削除された内容 追加された内容
50行目:
:::::他人に検証を押し付けているということがまるで真実であるかのように言うのはやめて下さい。私はちゃんと自分で確認した上で、最後の総仕上げという意味合いも込めてウィキペディアに書いている訳で、それに対して反論があれば議論した上で修正することもありますが、それは他人に検証を押し付けているというのとはまるで違うものです!ところで、私の知る限りあなたは英語版からの翻訳をメインに編集していると認識してますが、英語版に書いてあるからといってそれは正しいんですか?翻訳してこれが英語版の内容でござい、とやることが日本の圏論コミュニティにとってプラスになることなんでしょうか?答えに窮したとしても、話を逸したり、誤魔化したり、関係ない話題を振ってウヤムヤにしないでくださいね。--[[利用者:I.hidekazu|I.hidekazu]]([[利用者‐会話:I.hidekazu|会話]]) 2021年4月21日 (水) 12:15 (UTC)
:関係ない話をしてウヤムヤにしてるのは君のほうでしょ。論点は「<math>A \cong B</math>は<math>A \subseteq B</math>かつ<math>A \supseteq B</math>」は明らかに正しくないのでリバートの一点で、これについて10年間真剣にやっただのメーリングリストでなんちゃらだの全然関係ないでしょ。一体何を確認したというのですか。--[[利用者:Kik|Kik]]([[利用者‐会話:Kik|会話]]) 2021年4月21日 (水) 12:40 (UTC)
 
[[Wikipedia:エチケット]]を忘れないでください。
 
まず、 [[Special:Diff/82803840]] で I.hidekazu さんの編集を Kik さんが差し戻しました。次に、 I.hidekazu さんは、ここで Kik さんが差し戻した理由を尋ねた後に、「 Kik さんが差し戻した理由は個人的な感情の問題だと思う」という主張をし、さらに「もし、個人的な感情による差し戻しでなかったとしても、個人的な感情による差し戻しだと疑われても仕方がない」と主張しています。 I.hidekazu さんは、 Kik さんが差し戻した理由を尋ねながらも、同時に、以前の Kik さんとの関わりを根拠にして Kik さんの個人的な感情が理由だと思っていらっしゃるようですが、もしそうなら「あなたは私の編集を個人的な感情により何回も差し戻しをしていると私は思います。そのようなことはやめてください」と言えばよろしいと思います。
 
[[Special:Diff/82803840]] の内容についてですが、「 Nat(hA, F) ⊇ F(A) 」は「 F(A) から Nat(hA, F) への単射が存在する」が正しく、「 Nat(hA, F) ⊆ F(A) 」は「 Nat(hA, F) から F(A) への単射が存在する」が正しいという認識でよいでしょうか? ただし、 I.hidekazu さんの編集には出典がありませんので、 Kik さんが差し戻したのも問題ない対応です。
 
<math>A \cong B \to A \subseteq B \land A \supseteq B</math> は、 <math>\cong</math> を '''Set''' 圏での同型だと思うならば、正しくありません。--[[利用者:Hexirp|Hexirp]]([[利用者‐会話:Hexirp|会話]]) 2021年4月22日 (木) 12:59 (UTC)