「モナドとテンソル強度のサンプル」の前半と同じ記号法を使い、(C, +, 0) はモノイド圏だとします。a∈|C| を固定して、λx∈|C|.(a + x), λf∈C.(a + f) で定義される対応を考えます。a + f は、ida + f の略記と思ってください。このような対応を、Haskellの…

昨日、「モナドとテンソル強度のサンプル」って記事を書いたのだけど、「テンソル強度」（日本語）って言葉を使っている人って、ひょっとして僕一人？ google: "テンソル強度" 原語である "tensorial strength" なら多少はヒットするけど。 google: "tensori…

父親：「ルーニーって、けっこう童顔だな」長男：「どうがん？」父親：「『童顔』って知らないの？」長男：「えっ、知ってるよ」父親：「じゃ、どんな意味？」長男：「ルーニーみたいな感じ」父親：「どんな字を書く？」長男：「えーとね、『どうがん』の『…