このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2023-07-20から1日間の記事一覧

反対圏と反変関手はややこしい

大域米田の補題などを扱う場合は、関手や自然変換の向きに注意する必要があります。向きをどんな約束で決めているか、向きが保存されるか/変更されるかをちゃんと追跡しないと混乱します。向きの約束や保存/変更の法則は、様々な要因が絡んできて思いのほ…