とおいて書き直します。 を可換モノイドとします。 は簡約可能とします。 は順序をもちます。 積は順序を保存します。 は最小元となります。 このような代数的構造の名前は何かありそうですが、調べてみましたが見つからないのでこのまま進めます。 とおき、…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。