Coalgebras of words and phrases http://arxiv.org/abs/math.QA/0408258 Topology of words (59P) http://arxiv.org/abs/math.CO/0503683 Cobordism of words (47P) http://arxiv.org/abs/math.CO/0511513 Knots and words (19P) http://arxiv.org/abs/math…

(A, B, X) を集合の3つ組として、A∩X = B∩X = 空 なものとする。ただし、A∩Bは空である必要はない。(A, B, X);(B, C, Y) = (A, C, X+B+Y) 、Tr(A+X, B+X, Z) = (A, B, X + Z) と定義すると、やたらに簡単なトレース付きモノイド圏になる。

時間には離散時間と連続時間があるが、いずれにしても、有界なら両端（始点と終点）がある全順序集合となる。時間の直列接続が定義できる。始点と終点を複数許せば、並列接続も定義できる。有界時間の全体を、Nを対象とするモノイド圏と考えてよい。分岐時間…