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

また、バエズの記事から： http://golem.ph.utexas.edu/category/2009/04/kamnitzer_on_categorifying_tan.html Title:Ribbon graphs and their invariants derived from quantum groups Authors: N. Yu. Reshetikhin and V. G. Turaev Source: Comm. Math. …