有向グラフと自然数正方行列

基本概念は、

• 二重圏の簡単な例：非負行列の順序構造
  • 非負行列の順序構造を定義する
• 形式言語理論のための代数
  • 半環係数の行列
  • リダクトによる作用

有限有向グラフの頂点に自然数で番号を振ると、隣接行列:グラフ→自然数係数正方行列 という対応ができる。

有限有向グラフの圏の部分圏として埋め込みの圏を考えて、その同型による商を作って骨格的圏を作る。この骨格的圏と同じ構成を自然数係数正方行列の側でやるとどうなるか？