ストップモーション制約とテンソル積

今日書いたストップモーション制約（と呼ぶことにする）は、もともとはご都合主義的に入れた条件だった。勝手に手で入れた条件だから、ダメなものだと思っていた。が、これは実は正しい条件だった気がする。ストップモーション制約を入れると、モノイドのテンソル積と加群（オートマトン）のテンソル積が定義できる。

テンソル積の定義は、一見するとトリッキー／人工的な変な定義に思える。だが、テンソル積として期待する性質を持っている。見方を変えると、これは自然なものだと感じてきた。今までの常識的な見方が間違っていたのかもしれない。