FLT（formal-language-theoretic）代数

AがFLT代数だとは：

1. 加法的ベキ等な（可換とは限らない）環である
2. 加法から決まる順序に対してω完備である。これをω-ISRと呼ぶ。
3. 順序に関して原子的、乗法に関して素な元の全体（atomic primes）が、ω-ISRとしての生成系になっている。

零因子を持たないことは、順序の議論から出る。

ω-ISRの圏と、自由生成と忘却関手の随伴性は最初に定義しておかないといけないな。