2023-07-28から1日間の記事一覧
圏 $`\mathcal{C}`$ の対象ファミリー〈family of objects〉を対象として、対象ファミリーのあいだの準同型射を射とした圏を構成できます。この圏を $`\mathrm{Fam}(\mathcal{C})`$ とします。圏 $`\mathcal{C}`$ を引数変数と考えると、$`\mathrm{Fam}`$ は…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
圏 $`\mathcal{C}`$ の対象ファミリー〈family of objects〉を対象として、対象ファミリーのあいだの準同型射を射とした圏を構成できます。この圏を $`\mathrm{Fam}(\mathcal{C})`$ とします。圏 $`\mathcal{C}`$ を引数変数と考えると、$`\mathrm{Fam}`$ は…