米田埋め込みの忠実性から、g∈Gから自己同変写像へのこの対応は単射であり、また、gの逆元の存在からこの自己同変写像も全単射なので、すなわちGは対称群Sym(G)に埋め込まれる(ケイリーの定理)。

もっと言うと、共変関手G→Setは左G-集合、反変関手は右G-集合に対応する。
米田埋め込み G→[G^op, Set] はGの唯一の対象を「G自身が台集合で右からの乗法を右作用とする右G-集合」へと写し、射として解釈したg∈Gを、この右G-集合上の「gを左からかける」という自己同変写像へと写す。

「群の表現はベクトル空間の圏への関手」は良いのだけど、「同変写像は表現の間の自然変換になっている」の方は不正確で、「群の作用は集合の圏への関手であり、同変写像は作用の間の自然変換」と書くべきだった。

あと、子供向けには経鼻ワクチンのフルミストを検討しても良かったなぁ。すっかり忘れてた……

そういえば、去年からWHOの推奨が4価から(B/山形系統を除いた)3価に代わり、日本でも今年から3価になったのね。今回は以下の3株:
A型H1N1 (A/Victoria/4897/2022 (IVR-238))
A型H3N2 (A/Perth/722/2024 (IVR-262))
B型ビクトリア系統 (B/Austria//1359417/2021 (BVR-26))
www.mhlw.go.jp/stf/shingi/s...

Wikipediaの「脳分離体外循環」の記事には「カニューレを介した脳灌流はメインポンプとは独立した別のポンプを使用する」とあって、人工心肺のメインポンプは止めたけど、脳灌流のためのポンプは別にあるということなのかな。
ja.wikipedia.org/wiki/%E8%84%...

LibCST はどこかで聞いたと思ったら、これだった。
instagram-engineering.com/static-analy...

どのユーザーでも同じ表示っぽい。資産状況によらない一般的なことを言ってるだけなら、何故、投資信託と同じ（に見える）色にしてしまったんや……😅

VeriPB - Verifier for Pseudo-Boolean Proofs gitlab.com/MIAOresearch... そういえば、VeriPBの実装って Rust が使われてたのか。知らなかった。SAT系の分野にもRust広まって来てるなぁ。 #rustlang