このブログの更新は Twitterアカウント @m_hiyama で通知されます。 Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
f:A→B を関係圏Relの射だとします。小文字エフだと関数(写像)のような雰囲気ですが、そうではありません。関係圏の射fは、f⊆(A×B) という部分集合です(AとBは集合)。圏の射がいつでも関数だと思い込んだりしてはいけません、そりゃとんでもない誤解です…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。