2023-10-05から1日間の記事一覧
集合圏における多項式関手の定義に、次の図式(多項式関手の表現図〈representing diagram〉)が登場します。$`\quad\xymatrix{ I & B \ar[l]_{s} \ar[r]^{p} & A \ar[r]^{t} & J }\text{ in }{\bf Set}`$なんでこれが多項式関手の定義なんだ? と思います。…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
集合圏における多項式関手の定義に、次の図式(多項式関手の表現図〈representing diagram〉)が登場します。$`\quad\xymatrix{ I & B \ar[l]_{s} \ar[r]^{p} & A \ar[r]^{t} & J }\text{ in }{\bf Set}`$なんでこれが多項式関手の定義なんだ? と思います。…