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

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

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

参照用 記事

2007-07-09から1日間の記事一覧

圏論勉強会 復習:デカルト圏のなかのミニチュア・デカルト圏

昨日僕が顔を出していた時間帯には、指数(exponent; ベキ、累乗)の定義が話題でしたが、前回「けっこうめんどくさい」のでなんとなくやり過ごしていた次の問題がヤッパリ気になるので、露骨(explicit)に書き下しておきます。 Cがデカルト圏、VがCの対象…