問い #171

Functions ℕ→ℕ from F1 ## Trigger 旧HP Problems 7.0.2（theme: Riegs）から移住する公開問題。`created` は取り下げ済みPR #33の移住候補から暫定的に引き継ぎ、正確な着想日は不明。 ## Idea When can a function \(\mathbb{N}\to\mathbb{N}\) be described by an element of the free algebra \(F_1\)? A representability question for unary functions by terms in the free rieg. ## Goal 関数 \(\mathbb N\to\mathbb N\) がfree rieg \(F_1\) のtermによって表現される条件を明らかにする。 ## Personal context 旧タグはfree algebra、natural numbers、rieg。旧原文は \(F_1\) の追加の定義や表現方法を記していないため、この移住では補完しない。旧一覧以後の進展は未確認であり、棚卸し待ちとして `status: dormant` とする。 ## Provenance - 旧ID: 7.0.2 - 旧分類: formal question - [旧出典 `scripts/site.js` 964–972行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L964-L972) - Ideaの2段落は旧HPのstatement / descriptionをそのまま保持した。