本日二投目。まだ、米田の「よ」だったりします。過去の2つの記事は： 米田の「よ」 ≒ ディラックの「δ」 米田の「よ」、米田の「米」、米田の「Yo」 上記2つの過去記事で、次のようなことを言いました。$`\newcommand{\cat}[1]{ \mathcal{#1} }`$ 米田の「…

「米田の「よ」 ≒ ディラックの「δ」」の話をもう少し引っ張ります。今回は、上付き・下付きの約束を決めよう、という話です。内容： はじめに 明示的な記法 「よ」記法と米田密度 「米」記法 おわりに はじめにジョンソン・フレイド〈Theodore Johnson-Frey…

米田埋め込みをひらがなの「よ」で書く例はチラホラと見るようになりました。最初に使い出したのは（おそらく）リ・ブランド〈David Li-Bland〉（https​://davidlibland.github.io/）です。$` \newcommand{\cat}[1]{ \mathcal{#1}} \newcommand{\In}{ \text{…

"extranatural transformation" は「エキストラ自然変換」と言うことにします。カタカナと漢字を混ぜる用法は「モノイド圏」とか「プロ関手」とか（僕は）普通に使っているのでこれでいいとします。 nLabのエキストラ自然変換の項目 https​://ncatlab.org/nl…