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

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

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

参照用 記事

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

米田埋め込みの繰り返しと淡中再構成

ここ最近、米田の補題に関連する記事を幾つか書いています。 07-06 大域米田の補題 07-11 関手・自然変換のカリー化 07-13 前層を特定対象で評価する関手の表現 07-20 反対圏と反変関手はややこしい 07-21 高階関手の計算: 米田と淡中の周辺 動機はなんなの…