2024-02-05から1日間の記事一覧
集合圏内のスパンに対して、標準的なファイバー積を使ってスパンの結合〈composition | 合成〉を定義できます。その結合は、行列の掛け算で表示・計算できます。$`\newcommand{\NFProd}[3]{ \mathop{_{#1} \!\underset{#2}{\times}\,\!_{#3} } } \newcommand…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
集合圏内のスパンに対して、標準的なファイバー積を使ってスパンの結合〈composition | 合成〉を定義できます。その結合は、行列の掛け算で表示・計算できます。$`\newcommand{\NFProd}[3]{ \mathop{_{#1} \!\underset{#2}{\times}\,\!_{#3} } } \newcommand…