昨日の「テンソル積の作り方」は、線形代数の復習という意味合いがもちろんありますが、別な目的もあります。色々なものに対してテンソル積を考えたいことがあるんです。なので、一般的なテンソル積のフレームワークがあれば便利だろうと思ったわけです。テ…

モノイド圏のモノイド積を“テンソル積”と呼ぶことがあります。この意味のテンソル積は最初から「在る」もので、「作る」ものではありません。では、最初はテンソル積がないのだけど、頑張って「作る」とき、どんな作り方をするのでしょうか？単に「作る」と…

画像処理のサンプルとして、次の女性の肖像がやたらに登場しますよね。もう定番です。[*1]この画像は、もっと大きな写真から顔の部分だけを切り出したものです。[*2]もとは、ヌードの全身写真です。ここに画像を挿入するのは憚られるので、リンクだけにして…

viXra.orgという論文アーカイブサイトがあります。「ヴィクスラ」と発音するのかな？ サイトの名前とデザインは、arXiv.orgを真似てるんだかパロってるんだか。実際、arXiv.orgのオルタナティブを標榜しています。http://vixra.org/why によると、arXiv.org…

(C, , I) をモノイド圏とします。α, λ, ρをそれぞれ、結合律子、左単位律子、右単位律子とします（律子（りつし）に関しては「律子からカタストロフへ」を参照してください）。λ, ρに関する等式的法則を書き並べてみます。ただし、αによる括弧の組み換えは省…

「コンピュータ科学や組み合わせ論を“微分幾何”とみなす：CADGの夢」に関連して微分幾何について調べていたとき、商業出版物（紙の書籍）と同等なPDFをみつけました。「無料で入手できる本格的（紙なら高額）な理数系専門書15選」への追加として、4点の書籍…

モノイドからモナドを作る話は： モノイドからモナドを作る 単一代入のモノイド、スタンピングモナド、モナド工場 C = (C, , I) をモノイド圏として、C内のモノイドの圏を Monoid(C)、C上のモナドの圏を Monad(C) とすると、Monoid(C)→Monad(C) という関手が…

『シン・ゴジラ』は僕のツボにはまったんですよね。コワ面白かった！ 最近、もうひとつ「これは面白い！」と思っていることがあります。微分幾何の応用の話です。多くの人が「応用」という言葉から連想する内容とはちょっと違います。微分幾何を換骨奪胎して…

映画『シン・ゴジラ』を観ました。僕が感じたことは2つ。 これは怖い。 （他人事ながらも）ほっとした。 ネタバレは、たぶんありません。つうか、あらすじ書いたりするの面倒だからヤラン。まず、「（他人事ながらも）ほっとした」話。これはね、監督・特技…

「今回は出馬しないのかな」で引用した又吉イエスさんの大川隆法批判（動画）： https://www.youtube.com/watch?v=_7Wd8Iy_12U とても面白い意見なので冒頭部分（この部分だけで十分）を文字起こししました。「天地を創造された地球至高神は大川隆法・総裁先…