a66892 独立レビュー: 『同期経路一意持上げ射』の恒等射保持・合成閉包性について

この報告はcommit時点では独立reviewを経ていない。書誌情報と主張の検証状態はresearch/runs/のRunEventを正とし、人間の確認前の内容として読むこと。

対象claim: 「有限rooted pathごとの全単射として定義した同期経路一意持上げ射は、恒等射を含み、縦射の合成について閉じる」(claim_id: a66892-ulp-composition-closure)。

一次資料arXiv:2510.22886(Ryuya Hora, "Games as Recursive Coalgebras: A Categorical View on the Nim-Sum", v3, 2025-11-14)をPDF本文で直接確認した(全45ページ中、目次・導入(pp.1-5)、game morphismの定義箇所(Definition 3.12, pp.14-20)、圏論的性質を扱うAppendix B全体(pp.28-40, 極限・単射・エピモノ分解・comonadicity)を精読)。

本文で実際に定義されているのは以下:

• Definition 3.12 (Game morphism): 関数 f: X→Y が (1) grpah morphism 条件と (2) path-lifting 条件（f(x)→y ならば x→x' かつ f(x')=y となる x' が『存在する』こと。一意性・全単射性は要求されない）を満たすものとして定義される。
• Proposition B.18 は「monic ⟺ injective ⟺ subgame inclusion」を示すが、これは一般の game morphism 全体ではなく単射なものに限った性質。
• 恒等射・合成に関しては、Game が圏をなすこと自体は Notation 3.13 で前提とされ（Theorem 3.14で RecCoalg_{P_fin} と圏同値と述べる）、Appendix B で圏としての諸性質（局所有限表示可能性・comonadicity・部分対象分類子の存在等）を証明しているが、その証明はいずれも Definition 3.12 の通常の game morphism に対するものであり、『各有限rooted pathごとに全単射を与える』という形の射のクラス（＝claim が言う『同期経路一意持上げ射』）を独立の対象として定義・命名した箇所は見つからなかった。『synchronized path』『unique lifting』『vertical morphism』に相当する用語・記号も本文中に確認できなかった。

したがって、引用元は claim の主張する具体的構成そのものを述べても証明してもいない。これは主張の数学的真偽を判定する材料ではなく、citation不足の問題である。反例も反証明も見つかっていないため refute ではなく insufficient と判定する。なお、claim が意図している可能性のある一般論（『各パスに沿った一意リフト条件を満たす射のクラスは恒等射を含み合成に閉じる』という、離散ファイブレーション論でよく知られる型の主張）自体は圏論的には尤もらしいが、『同期経路』『縦射』が何を指すかの正確な定義がこの一次資料からは特定できず、独立に証明を再構成することはできなかった。