タグ付き直積とタグ付き直和

ここでタグというのは、目印、マーカーのこと。タグ付き直積の例は、JSONオブジェクト、プロパティ名（キー）がタグになっている。Erlangのプロパティリストもタグ付き直積の表現と考えていい、ただし、リストはどうしても可変長になるから、その点ではタプル（直積）っぽくないけど。タグ付き直和は、Erlangのok/error方式が典型。

直積と直和なんだから次の概念を考える。

1. 射影（projection）と入射（injection）
2. 対角（複製）と余対角（折り畳み）
3. 射の直積、射の直和

Erlangのcase文やokタグについて真剣に考えてもいいかもね。