2012-06-04から1日間の記事一覧
Relを関係圏(the category of relations)とします。R:A→B in Rel のとき、RはAとBのあいだの関係なので R⊆A×B ですね。(x, y)∈R であることを xRy とも書くことにします。また、x∈A に対して R(x) := {y∈B | xRy} と定義します。Aが基点付き集合(pointed …
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
Relを関係圏(the category of relations)とします。R:A→B in Rel のとき、RはAとBのあいだの関係なので R⊆A×B ですね。(x, y)∈R であることを xRy とも書くことにします。また、x∈A に対して R(x) := {y∈B | xRy} と定義します。Aが基点付き集合(pointed …