アガサ・クリスティー攻略作戦の最終回 https://t.co/goGHr7j60X が公開されたのが10年前。そんなに……
— Lucas KBYS (@lkbys) April 17, 2023
(このweb連載のほとんどが単行本刊行に伴って削除されてしまったけど最終回は今でも残されているのです。攻略開始前にクリスティをどう思っていたか、それがどう変わったかが書かれています)
— Lucas KBYS (@lkbys) April 17, 2023
[商願2023-37584]
— 商標速報bot (@trademark_bot) April 16, 2023
商標: [画像] /
出願人: 吉川 浩一 /
出願日: 2023年4月6日 /
区分: 25類(パーカ,ティーシャツ,洋服) pic.twitter.com/G70ymP6gqP
随伴って結局普遍射じゃんみたいな話があって、まあそれはそうっていうか、随伴っていうのは左右を平等に記述しようとすると生まれる概念なんですけど、
— Lucas KBYS (@lkbys) April 17, 2023
ほとんどの状況は平等ではなくて、一方の函手が先に存在していてもう一方はその随伴として後からできているっていう不平等があるので、その不平等に忠実に、後から函手ができるってどういうことかというのを記述するとそれ普遍射じゃないですかってなるわけです。それはそう
— Lucas KBYS (@lkbys) April 17, 2023
ちょっと具体的に今書いているPDFの話にするとHomとテンソル積なんですけど、Homが先にあってテンソル積が後で、テンソル積は(ありがちな述べ方ではHomを表に出さずに双線形として述べるけど)普遍性がありますね、みたいな感じです。それはそう
— Lucas KBYS (@lkbys) April 17, 2023
このとき、記述の意識というか視点というかそういうのはテンソル積に合わされていて、Homはそれに比べてはるかに当然にそこにありますっていう顔でそこにあって、背景に馴染んでいるんですね
— Lucas KBYS (@lkbys) April 17, 2023
これを随伴の言葉で記述し直すというのは、先にそこにあって背景に馴染んでいるHomをテンソル積と同じ場所に引っ張り出すことなんですね。先とか後とか何ですかそれは、Homとテンソル積は相互に関係し合っているじゃないですか、って言って平等に扱うわけです
— Lucas KBYS (@lkbys) April 17, 2023
それで……ここからは数学的にどうなっているかから離れて私がどう書くかという話ですけど、この平等に扱う瞬間、背景に馴染んでいるものを引っ張り出す瞬間ってかなり重大じゃないですか。いやあ、ついこないだまで、あんまりそういうつもりで書いてなかったんですよ
— Lucas KBYS (@lkbys) April 17, 2023
ごちゃごちゃ書き直しているうちに、なんかぼやけて見通しが悪すぎる気がしてきて、でもその見通しの悪さっていうのが何に起因するのか見当もつかないのでなんかもうわからなかったんですよ。そっかそれだったかあ、って感じです
— Lucas KBYS (@lkbys) April 17, 2023
今日も2問間違えました
— Lucas KBYS (@lkbys) April 17, 2023