このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2024-02-05から1日間の記事一覧

スパンとファイバー積と行列計算

集合圏内のスパンに対して、標準的なファイバー積を使ってスパンの結合〈composition | 合成〉を定義できます。その結合は、行列の掛け算で表示・計算できます。$`\newcommand{\NFProd}[3]{ \mathop{_{#1} \!\underset{#2}{\times}\,\!_{#3} } } \newcommand…