集合を係数〈スカラー〉とするベクトルや行列の計算は、相対モナドを使うとうまく定式化できます。やってみましょう。小手調べとして、自然数係数の有限次元行列の計算についても述べます。$`\newcommand{\cat}[1]{\mathcal{#1}} \newcommand{\mrm}[1]{\math…