2011-01-27から1日間の記事一覧
圏Cがデカルト圏だとして、Cの対象Aを掛け算する関手 (-×A) に随伴の相方Gがあれば、C(X×A, Y) = C(X, G(Y)) (イコールは集合の同型)が成立します。この G(Y) を、普通は YA と書いて「指数」とか「ベキ」と呼びます。YA という書き方は、普通の指数との類…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
圏Cがデカルト圏だとして、Cの対象Aを掛け算する関手 (-×A) に随伴の相方Gがあれば、C(X×A, Y) = C(X, G(Y)) (イコールは集合の同型)が成立します。この G(Y) を、普通は YA と書いて「指数」とか「ベキ」と呼びます。YA という書き方は、普通の指数との類…