レッスンとコース

とりあえず必要なこと＝どうしても必要なこと をまとめると：

1. 原子知識と原子知識の集合としての知識
2. レッスンの概念
3. レッスン・レパートリー ＝ 1-指標
4. コースグラフ = レッスン・レパートリーの上のコンビネーション
5. 組み込みのノード： 分岐〈alternative〉、合流、既知〈known〉、消去〈elimination〉
6. なんか双積圏のようだ。
7. 厳密に可換な厳密モノイド圏になるのかも知れない。

コースグラフのパスの集合を考えて、行列計算に持ち込むのがミソかも。