Question

Can recursive-coalgebra maps and playing strategies be combined in a double category of games? The intended vertical maps are exact coalgebra morphisms; the horizontal maps should come from an explicitly chosen category of games and strategies in the tradition of Joyal.

Current boundary

A coalgebra map preserves the complete set of options. A playing strategy chooses responses along legal plays. These are different structures, and their interaction must be defined rather than identified.

The work in note 13 shows why a counterexample with arbitrary binary relations cannot automatically be treated as a counterexample with legal total deterministic strategies. The elementary relational obstruction is recorded in note 23; it does not settle this double-category question.

Next step

Fix the objects (including any Left/Right or turn data), the legal strategy class, and the proposed squares. On a small example, verify that vertical maps transport legal strategies and that horizontal composition is compatible with the squares. State any restrictions needed on the vertical maps.

A construction must verify units, both compositions, and interchange. A no-go claim must exhibit a counterexample inside the chosen legal strategy class.

Sources: Games as recursive coalgebras; Joyal's games and strategies.

「2026-08-27 ChatGPT研究継続」のsyntactic quotient theorem等の部分結果。中心context-separation予想の解決主張ではない。

Idea

What is the Bouton monoid $B_{\vee,\mathrm{Grundy}}$? Is it just the miniature monoid $(H,\vee_H)$?

This corresponds to Question 5.8 of the games-as-recursive-coalgebras paper.

Goal

$B_{\vee,\mathrm{Grundy}}$ を決定し、$(H,\vee_H)$ と一致するかを判定する。

References

• Ryuya Hora, Games as recursive coalgebras: A categorical view on the Nim-sum

2026-08-26 AI研究監査：Bouton congruence が検出する第一層

selective compound を $\nabla$ とする．任意の short finite impartial game $A$ について

$$\operatorname{Gr}(A\nabla *k)=k+d(A)$$

が十分大きい $k$ で成り立つ（$d(A)$ は最大 play 長）．従って，すべての selective context に関して Grundy-equivalent な二つの game は同じ birthday を持ち，

$$d(A)=\lim_{k\to\infty}(\operatorname{Gr}(A\nabla*k)-k)$$

で回収できる．したがって Bouton monoid から $(\mathbb N,+)$ への非自明な quotient/invariant が得られる．

一方，birthday と Grundy number のペアだけでは不十分である．

$$G=\{*2\},\qquad H=\{*1,*2\}$$

はともに depth $3$，Grundy number $0$ だが，

$$\operatorname{Gr}(G\nabla*1)=1,\qquad \operatorname{Gr}(H\nabla*1)=4.$$

従って残る核心は次の context-separation 問題である：$A\ne B$ なら，ある有限 game $C$ が存在して

$$\operatorname{Gr}(A\nabla C)\ne\operatorname{Gr}(B\nabla C)$$

となるか．Yes なら $B_{\nabla,\mathrm{Grundy}}\cong(H,\nabla_H)$，No なら最小 collision を構造的に説明する必要がある．

2026-08-27 ChatGPT研究継続：syntactic quotient theorem と selective audit

任意の lax monoidal（unitなしなら lax semigroupal）tensor $\otimes$ と game value $v$ に対し，terminal game $\mathbb H$ 上の miniature multiplication を

$$p\star q:=\xi_{\mathbb H\otimes\mathbb H}\bigl(\mu_{\mathbb H,\mathbb H}(p,q)\bigr)$$

で定める．$f=v_{\mathbb H}$ として two-sided syntactic congruence

$$p\equiv_fq \iff f(apb)=f(aqb)\quad(\forall a,b\in\mathbb H)$$

（semigroup の場合は unitization 内で quantification）を取ると，

$$B_{\otimes,v}\cong \mathbb H/{\equiv_{v_{\mathbb H}}}.$$

これは $v_{\mathbb H}$ が factor する最大 monoid congruence，従って Hora の minimum monoid factorization の明示形である．commutative miniature monoid では one-sided contexts $v(p\star c)$ だけでよい．形式言語の syntactic monoid，CGTの indistinguishability quotient／misère quotient と同じ contextual mechanism である．

Genuinely lax な退化例は完全に計算できる．任意の value $v$ について，left projection tensor の Bouton semigroup は $\operatorname{im}(v_{\mathbb H})$ 上の left-zero multiplication，right projection は right-zero，pointed constant tensor は null multiplication になる．

selective sum $\nabla$ と Grundy value について，birthday と Grundy number の pair では contextual class を決められない明示例を得た．

$$P=\{*1\},\quad Q=\{P\},\quad D=\{P,Q\},\quad C=\{D\},$$$$B=*3,\qquad A=B\cup\{P\}$$

とすると

$$h(A)=h(B)=3,\qquad \operatorname{Gr}(A)=\operatorname{Gr}(B)=3,$$

だが

$$\operatorname{Gr}(A\nabla C)=8,\qquad \operatorname{Gr}(B\nabla C)=5.$$

height $\le3$ の16 canonical games と height $\le4$ の全65,536 canonical contexts の exhaustive audit では，selective-Grundy profile が一致する distinct pair はこの $(A,B)$ だけであり，height 5 の $C$ がそれを分離する．

中心予想は次である：distinct canonical finite games $G\ne H$ に対し，ある finite game $K$ が存在して

$$\operatorname{Gr}(G\nabla K)\ne\operatorname{Gr}(H\nabla K)$$

となる．Yes なら

$$B_{\nabla,\operatorname{Gr}} \cong (\mathbb H,\nabla_{\mathbb H})$$

であり，No なら最小 contextual collision の構造分類が必要である．有限 height truncation 上の congruence refinement は，stabilization certificate または separating context を返す計算手法になる．

追記（2026-08-27・AI採掘）: Question 5.9 の一部と、残る具体化の問い

Question 5.9 の一部（Bouton monoid の構成）（2026-03 の ChatGPT 会話）: Bouton monoid の構成に $P_{\mathrm{fin}}$ は不要で、「terminal object $H$ をもつ monoidal category $\mathcal R$＋lax monoidal functor $U:\mathcal R\to\mathrm{Set}$＋value $v:U\Rightarrow\Delta_A$」だけから構成できる。証明が実際に使っているのは終対象性と lax monoidality のみで、論文 v3 Theorem 4.8 の証明がそのまま通る。検証状態: 会話中の証明であり、人間による検証は未了。Question 5.9 が問う枠組み全体の一般化は Generalized games framework に残る。

残る具体化の問い（2025-10 の会話より）:

• Bouton monoid は抽象構造しか与えられておらず、具体的構成が未達成で Nim 和の demystification として不満足。実際には多くの場合 $P_{\mathrm{fin}}$-algebra $A$ から誘導され、それが $G_b=\mathrm{hylo}_A$ の具体計算を可能にしている。Bouton function は常に $P_{\mathrm{fin}}$-algebra 構造から誘導されるか（TAMS 版）。
• Bouton monoid を計算する良い方法はあるか（Adámek 構成の類似。Nim-sum が Ackermann 解釈で対称差になることが手がかり。TAMS 版）。
• monoidal 構造が Conway 和のとき、具体構造理解の鍵はゲームの持つ「微積構造」であろう（Differential structures of games と接続）。

CN(6,2) への動機（論文 v3 §5.4.2）: circular nim CN(6,2)（Dufour–Heubach、未解決）の部分問題として $\mathrm{Nim}_1+(\mathrm{Nim}_1\vee(\mathrm{Nim}_1+\mathrm{Nim}_1))$ 型の必勝戦略理解があり、そのために nested Bouton monoid $B_{\vee,\mathcal G}$ の決定——miniature monoid $(\mathbb H,\vee_{\mathbb H})$ そのものか、真の商か——が必要になる。上の中心予想と同じ分岐である。

Question

How much of partisan game theory is recovered by replacing $\mathcal P_{\mathrm{fin}}$ with

$$F(X)=\mathcal P_{\mathrm{fin}}(X)\times\mathcal P_{\mathrm{fin}}(X)?$$

This is Question 5.3 of Games as recursive coalgebras.

Established starting point: short game forms

Proposition 5.4 identifies the terminal recursive $F$-coalgebra with short partisan game forms. A position has a finite set of Left options and a finite set of Right options; recursive evaluation is well founded. This recovers forms such as

$$0=\{\mid\},\quad 1=\{0\mid\},\quad -1=\{\mid0\},\quad *=\{0\mid0\}.$$

An $F$-algebra gives a recursive evaluation. For normal-play outcomes, take $O=\{0,1\}^2$, where the coordinates say whether Left wins when Left starts and when Right starts. Then

$$\alpha(S_L,S_R)= \left(\bigvee_{(p,q)\in S_L}q,\; \bigwedge_{(p,q)\in S_R}p\right),$$

with empty join $0$ and empty meet $1$, computes the four outcome classes.

The familiar recursive definitions of sum and negation apply to forms:

$$(G+H)^L=(G^L+H)\cup(G+H^L),\qquad (G+H)^R=(G^R+H)\cup(G+H^R),$$$$(-G)^L=-G^R,\qquad(-G)^R=-G^L.$$

What this does not yet supply

Exact option-preserving maps are not playing strategies. Normal-play equality, Conway order, simplification, and contextual quotients require their own definitions and arguments. Nor does the impartial internal-hom construction automatically prove closedness for this partisan category.

The proposed comparison with short Conway values and dyadic surreal numbers therefore belongs to a separate semantic layer. Full surreal numbers also require infinite option sets and transfinite birthdays, beyond this finite-powerset setting.

Next step

For the categorical extension, establish the colimit and Conway-sum properties of $\operatorname{RecCoalg}_F$, then prove an adjunction before asserting a partisan internal hom. For the semantic extension, state the contextual equivalence and prove that its quotient agrees with the intended game-value equivalence.

The two tasks should be kept distinct: Proposition 5.4 already provides the forms; it does not by itself establish the strategy category or the value quotient.

See also the double-category question and the impartial internal hom.

Conway 和の internal hom は明示的に書ける：$S=\operatorname{Set}(UG,UH)$ の cofree game $R(S)$（論文 v3 Definition B.13・Proposition B.14：位置は有限個の子の集合 $T_t$ とラベル $a_t\in S$ の組を再帰的に作ったもの）の中で，全ての子孫 $w$（自身を含む）が $\theta_H(a_w(g))=\{a_w(g'):g'\in\theta_G(g)\}\cup\{a_v(g):v\in T_w\}$（$g\in UG$）をみたす位置からなる最大の部分ゲームを $A(G,H)$ とすると，評価 $\operatorname{ev}(g,u)=a_u(g)$ と cofree transpose による currying が自然な全単射 $\mathbf{Game}(G+K,H)\cong\mathbf{Game}(K,A(G,H))$ を与える．構成と証明（自然性と空ゲームの場合を含む）は A proposed internal hom for Conway addition．人間による検証は未了．

Question and proposed construction

Question 5.7 of Games as recursive coalgebras asks for a concrete right adjoint to Conway addition:

$$\mathbf{Game}(G+K,H)\cong\mathbf{Game}(K,[G,H]_+).$$

Existence is proved abstractly in the paper. The proposed construction and proof below describe positions, moves, evaluation, and currying explicitly. A detailed proposed proof is in note 29.

Positions and moves

Put $S=\operatorname{Set}(UG,UH)$. By Definition B.13 and Proposition B.14, the cofree game $R(S)$ consists of hereditarily finite labelled positions $t=(T_t,a_t)$, with finite child set $T_t$ and label $a_t\in S$.

Let $A(G,H)$ consist of those $t\in R(S)$ for which every descendant $w$, including $t$, satisfies

$$\theta_H(a_w(g)) =\{a_w(g'):g'\in\theta_G(g)\} \cup\{a_v(g):v\in T_w\} \quad(g\in UG).$$

The condition is inherited by children, so $A(G,H)$ is a subgame. Its moves are the inherited child relation.

Evaluation and currying

Evaluation is $\operatorname{ev}(g,t)=a_t(g)$. The displayed equation says exactly that it is an exact coalgebra morphism $G+A(G,H)\to H$.

For a morphism $f:G+K\to H$, take the cofree transpose of the label map $k\mapsto(g\mapsto f(g,k))$:

$$h_f(k)=\bigl(\{h_f(k'):k'\in\theta_K(k)\},\,g\mapsto f(g,k)\bigr).$$

The morphism equation for $f$ gives the compatibility equation at every image position. The image is closed under options, so $h_f$ factors through $A(G,H)$. Conversely, evaluation uncurries any map $K\to A(G,H)$. One composite is the identity by evaluation of labels; the other is the identity by uniqueness of the cofree transpose. Thus $A(G,H)$ is the required right adjoint.

This is a construction in the category of finitely branching, finite-time games with exact coalgebra maps. The carriers need not be finite.

Status and remaining work

This is a proposed construction and proof, retained as a proof candidate rather than a human-reviewed result. The argument is stated in the precise category stated above; it does not claim a new published theorem or a completed human review.

Compute usable small examples and explain the game-theoretic meaning of these labelled positions. The construction does not identify this internal hom with player-switching or a strategy-category internal hom. It does not establish the partisan analogue. Its relation to prior mapping-object constructions also requires a separate literature comparison.

Question 5.5 について次が言える．(1) $U$ を strict monoidal にする symmetric monoidal 構造（閉性は論文 v3 Corollary B.11 で自動）はちょうど連続体濃度だけある．下界は次の族による：$d$ を birthday，$S\subseteq\mathbb N_{\ge1}$ とし，$X\otimes_SY$ を台集合 $UX\times UY$ の上で，片方の成分だけを動かす手と，両方を同時に動かして $d(x)-d(x')\in S$ かつ $d(y)-d(y')\in S$ となる手を許すゲームとする．$\otimes_S$ は1点ゲームを unit とする symmetric な構造で，結合的であることは $S$ が sum-free か $S+S\subseteq S$ であることと同値であり，相異なる $S$ は相異なる tensor を与える（$S=\varnothing$ が Conway 和，$S=\mathbb N_{\ge1}$ が selective 和）．奇数だけからなる $S$ はどれも sum-free なので，結合的なものだけで $2^{\aleph_0}$ 個ある．上界は，位置が生成する部分ゲームが有限（Lemma B.6）で，部分ゲームの包含に関する自然性から tensor が可算個の有限ゲームの組での値で決まることによる．(2) 各手が一方・他方・両方のどれを動かすかだけで決まる構造に限れば，symmetric かつ unital なのは Conway 和と selective 和の二つだけである．完全な分類は残る．Question 5.6 は条件がゆるく，点付きゲーム $(E,e)$ ごとの定数テンソル $X\odot_EY=E$（比較写像は $e$ への定値写像）だけで proper class 個ある．人間による検証は未了．

「ChatGPT研究継続」のstrict moduliと「ChatGPT 会話」の連続体個という主張。genuinely lax全分類を含めない。

Idea

Classify all monoidal closed structures on the locally finitely presentable category of combinatorial games.

This corresponds to Questions 5.5 and 5.6 of the games-as-recursive-coalgebras paper.

Goal

上記のlocally finitely presentable category of combinatorial games上のmonoidal closed structuresを分類する。

References

• Ryuya Hora, Games as recursive coalgebras: A categorical view on the Nim-sum

2026-08-26 AI研究監査：coordinate-local tensors の完全分類

$S\subseteq\{L,R,B\}$ に対し，$X\star_SY$ の move を，左成分のみ（$L$），右成分のみ（$R$），両成分同時（$B$）のうち $S$ に属する型だけ許すものとする．すると：

• $\star_S$ が associative であることと，$B\notin S$ または $(L\in S\Leftrightarrow R\in S)$ は同値．
• symmetric であることと $(L\in S\Leftrightarrow R\in S)$ は同値．
• 一点終端 game を両側 unit に持つことと $L,R\in S$ は同値．

従って symmetric unital な coordinate-local tensor はちょうど

$$S=\{L,R\}\quad\text{(Conway addition)}, \qquad S=\{L,R,B\}\quad\text{(selective sum)}$$

の二つである．証明は三重積で一つの elementary move がどの座標集合を変えられるかを比較するだけで，associativity failure は $\{L,B\}$ と $\{R,B\}$ に限られる．

これは全 monoidal closed structure の分類ではないが，「move rule が座標ごとに局所的」という自然なクラスでは完全分類である．cofree-subgame internal hom の式も，$B$ を許す場合に simultaneous residual term

$$\{a_{t'}(g')\mid t'\in T,\ g'\in\theta_G(g)\}$$

を加えることで一様に得られる．

2026-08-27 ChatGPT研究継続：strict moduli と lax 境界

AI生成preprint の主定理は，$U\colon\mathbf{Game}\to\mathbf{Set}$ が strict symmetric monoidal となる全 tensor を，finite rooted games 上の admissible rooted transition laws（progress・unit・symmetry・finite associativity）で完全に parameterize する．任意の position が生成する subgame は有限なので，

$$\theta_{X\otimes_\tau Y}(x,y)=\tau_{(\langle x\rangle,x),(\langle y\rangle,y)}$$

で全 games へ一意に延長される．分類空間は effectively closed profinite space で，濃度は正確に $2^{\aleph_0}$．これは named sums の有限列挙ではなく，moduli problem としての完全分類である．任意の分類点に対する internal hom も cofree game の compatible subgame として一様に構成できる．

具体 family では，height-drop tensor $\otimes_S$ の associativity は

$$S\text{ is sum-free}\quad\text{or}\quad S+S\subseteq S$$

と同値．path-length tensor $\otimes_D$ の associativity は $\Lambda_L(D)=\Lambda_R(D)$ と同値．coordinate-local symmetric unital tensor は Conway sum と selective sum の二つだけである．

lax 化については次を得た．

• $U$ が strong monoidal なら comparison bijection に沿う transport で strict case へ還元される．
• tensor carrier が既に $UX\times UY$，射上の作用が $f\times g$ なら，$\operatorname{Nat}(U,U)=\{\mathrm{id}\}$ から lax comparison は恒等写像に強制される．
• unit を外した product-carrier semigroupal structures は，unit equations を除いた rooted laws で完全分類される．
• carrier を自由にした nonunital lax structures は，pointed game $E$ ごとの constant tensor $X\odot_EY=E$ だけで proper class many．
• genuinely lax unital closed tensor は未分類だが，separate cocontinuity により finite games 上の kernel$$X\otimes Y\cong\operatorname*{colim}_{A\subseteq_{\rm fin}X,\,B\subseteq_{\rm fin}Y}A\otimes B$$へ正確に還元される．

CGTとの照合で，最初の exotic tensor $S=\{1\}$ を Nim heaps に制限すると，既知の parameter $p=3$ generalized $n$-dimensional Ryūō Nim，すなわち mixed base $(3,2,2,\ldots)$ の cyclic Nimhoff と一致することが判明した．したがって mixed-radix Grundy formula 自体は新規ではない．新しい点は，この既知 game が rooted-law moduli の自然な stratum として現れ，arbitrary recursive games へ categorical に拡張されることである．

残る主要問題は genuinely lax unital finite kernels の構造的分類，finite/computable Bouton quotient を持つ moduli locus，および singleton drop $S=\{d\}$ と $2$-primary Nimhoff systems の一般則である．

追記（2026-08-27・AI採掘）: Question 5.5 への部分的な答え — strict monoidal 構造は連続体個

2026-04-19〜21 の ChatGPT 会話で Question 5.5 に次の部分的な答えが得られた。忘却関手 $U:\mathbf{Game}\to\mathbf{Set}$ を strict monoidal にする symmetric monoidal 構造は，$\mathbb N$ 上の monotone total preorder $\preceq$ から birthday 経由で構成でき，互いに異なるものが連続体個ある。上限も $\mathbf{Game}$ の locally finitely presentable 性から $2^{\aleph_0}$ で一致し，closedness は Corollary B.11 により自動である。

さらに $U$ は comonadic で右随伴が $R(\Lambda)=H_\Lambda$（$\Lambda$-labeled hereditarily finite sets）なので，Question 5.5 は $G=UR$ 上の lax monoidal law $m:G\Lambda\times G\Gamma\to G(\Lambda\times\Gamma)$ の分類，すなわち $(\mathrm{Set},\times,1)$ 上の symmetric monoidal comonad 構造の分類と同値である。残る問題は explicit normal form（対称群の equivariance の詰め）だけになった。

検証状態: 会話中の証明であり独立査読は未了。このノートの他の節（coordinate-local tensors の分類・lax 化）とは相補的で，こちらは carrier を固定しない一般の strict 構造の全体量を決める。

Question

Is there one categorical structure explaining both the Leibniz-type rule for moves under Conway addition and the Rota–Baxter-type rule for recursive game values? This is Question 5.1 of Games as recursive coalgebras.

The target is an explanation of the Nim-sum calculation, not just a new name for an identity already obtained using the Sprague–Grundy theorem.

Established equations

The move map satisfies

$$\theta_{X+Y}(x,y) =\theta_X(x)\times\{y\}\;\cup\;\{x\}\times\theta_Y(y).$$

When a Bouton monoid is induced by a finite-powerset algebra $\beta$, Proposition 5.2 proves

$$\beta(S)\circledast\beta(T) =\beta\bigl(S\circledast\beta(T)\cup\beta(S)\circledast T\bigr).$$

These are the starting data. General differential-category terminology alone does not establish a deriving transformation or show that it recovers these formulas.

Next step

State the candidate structure and derive both displayed equations from its axioms. Then give the Nim example and identify precisely which facts about Nim-sum are inputs and which are consequences. If the desired identification is assumed through Sprague–Grundy theory, the argument has not yet supplied an independent explanation.

This question is distinct from the internal hom for Conway addition, which concerns an adjunction rather than a differential structure.

Comparison source: Differential Categories Revisited.

Question

How far does the recursive-coalgebra framework extend from sets and the finite-powerset functor to a locally presentable category $\mathcal C$ and an accessible endofunctor $T:\mathcal C\to\mathcal C$? This is Question 5.9 of Games as recursive coalgebras.

Separate the claims

The framework contains several ingredients: recursive evaluation into algebras; a terminal recursive coalgebra; game-combining operations; and universal factorizations of values. A construction of one ingredient is not by itself a construction of all the others for arbitrary $(\mathcal C,T)$.

One concrete extension is already in the paper: replacing $\mathcal P_{\mathrm{fin}}$ with $\mathcal P_{\mathrm{fin}}\times\mathcal P_{\mathrm{fin}}$ recovers short partisan forms (Proposition 5.4). Note 3 states the remaining boundary for values and strategies.

The factorization argument recorded in note 2 is another partial direction; it does not, on its own, establish the entire framework for every locally presentable base and accessible endofunctor.

Next step

Formulate one generalization theorem at a time. State the hypotheses needed for recursive evaluation and the terminal object, then separately give the additional monoidal or value data used by a Bouton-type factorization. Test those hypotheses against the impartial and partisan examples before making the universal claim.

Question

Can sink–wall duality for additive subtraction games be explained by mex dynamics and reflection?

Let

$$S=\{s_1,s_2,s_1+s_2\},\qquad 1\leq s_1<s_2.$$

The formula below is the conjecture in Equation (3) of Bhagat–Larsson–Manabe–Yamashita, Additive Sink Subtraction. It is not a new conjecture of this project.

The wall convention forbids negative heaps. The sink convention makes nonpositive heaps terminal. For the periodic sink sequence, represent a residue in $\{1,\ldots,p\}$: residue zero means the value at $p$, not the terminal heap $0$. Wall representatives are in $\{0,\ldots,p-1\}$. Use the source's outcome period $p$ and these aligned residue conventions.

Operators

On

$$X=\{0,1,2,3\}^{\mathbb Z/p\mathbb Z}$$

define

$$(M_Sf)(x)=\operatorname{mex}\{f(x-s):s\in S\}, \qquad (M_S^{\mathrm{rev}}f)(x)=\operatorname{mex}\{f(x+s):s\in S\}.$$

There are at most three distinct option values, so mex remains in $\{0,1,2,3\}$. Here $\mathrm{rev}$ reverses the shifts; it does not assert that the operator is the inverse of $M_S$.

Let

$$\sigma(0)=2,\quad \sigma(2)=0,\quad \sigma(1)=1,\quad \sigma(3)=3, \qquad (J_bf)(x)=\sigma(f(-b-x)).$$

Then $J_b$ is an involution. The sink–wall conjecture is

$$v_{\mathrm{wall}}([x]_p) =\sigma\!\left(v_{\mathrm{sink}}([-s_2-x]_p)\right),$$

so the proposed relation uses $b=s_2$.

What is already ruled out

The identity $M_SJ_b=J_bM_S^{\mathrm{rev}}$ does not hold throughout $X$. For $f\equiv3$, its left side is constantly $0$, while its right side is constantly $2$.

There is a conditional identity. Suppose every successor-value set

$$A_f^{\mathrm{rev}}(y)=\{f(y+s):s\in S\}$$

is either a three-element subset of $\{0,1,2,3\}$ or a two-element subset of $\{0,1,2\}$. On these sets,
$\operatorname{mex}(\sigma A)=\sigma(\operatorname{mex}A)$.
With $y=-b-x$,

$$M_S(J_bf)(x) =\operatorname{mex}(\sigma A_f^{\mathrm{rev}}(y)) =\sigma(\operatorname{mex}A_f^{\mathrm{rev}}(y)) =J_b(M_S^{\mathrm{rev}}f)(x).$$

The hypothesis concerns successor sets, not predecessor sets. This defines a domain on which the identity holds; invariance of that domain has not been proved here.

Remaining work

Prove that the relevant sink sequences satisfy the successor-set condition and the reverse-mex fixed-point equation. Finite checks alone do not prove either statement. Even then, being a fixed point does not identify the wall sequence: the boundary data must be matched over a full recurrence window of length $s_1+s_2$, not at a single point.

Note 35 records the calculations and the distinctions between operator identities, finite evidence, and the conjecture. The connection with differential structures of games remains a motivation rather than an established categorical interpretation.

gameをdouble categoryとして扱う既存研究には少なくとも次の二つがある。

• Jules Hedges, Morphisms of Open Games
  lensをvertical directionに用い、equilibriumを扱えるdouble categoryを与える。

• Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg, A compositional treatment of iterated open games
  coalgebraを使ってiterated open gamesを扱い、repeated prisoner’s dilemmaを合成的に記述する。

一方で、open games in economicsとcombinatorial gamesは、現在の研究コミュニティではかなり別の対象として扱われている。この分断は、洞の Games as recursive coalgebras とJoyal strategiesをdouble-categoricalに結ぶ研究にとって明確な空白地帯である。

Idea

組合せゲームに特化したdouble category / virtual equipmentを作る。

• objects: recursive coalgebraとしてのgame frames
• vertical arrows: option-preservingかつoption-liftingなcoalgebraic game morphisms
• horizontal arrows: Joyal型のstrategies
• 2-cells: coalgebraic mapsに沿ったstrategy simulations
• companions/conjoints: copycat-through-$f$
• horizontal composition: swivel-chair / interaction-and-hiding

既存のopen gamesのdouble categoryをそのまま特殊化するのではなく、

$$\text{coalgebraic combinatorial game structure} \quad+\quad \text{Joyal strategy semantics}$$

を直接統合する。

これはeconomic game theoryのopen gamesと、Conway–Joyal型combinatorial game theoryの間を埋める構成になる可能性がある。

Relation to P-positions and game semantics

The game semantics of game theory（arXiv:1904.11287）では、combinatorial gameのP-positionを、複数のplayerが協力して外界と戦うゲームにおけるNash equilibriumとして理解する議論があるらしい。

この見方が正しければ、

$$\text{P-position}$$

は単なるrecursive outcome classではなく、

$$\text{internal coalition vs. environment}$$

というopen-game的意味論を持つ。

調べるべき問い：

• P-positionをcoalgebraic invariantとして記述できるか。
• そのP-position conditionは、strategy equipment内のequilibrium-like universal propertyになるか。
• Bouton’s theoremは、そのequilibrium predicateをNim-sumによって計算するintegration theoremと解釈できるか。
• Joyalのwinning strategyとopen gamesのbest-response/equilibriumを同一のdouble-categorical構造で比較できるか。

Evolutionary games and compositionality

単にすべてをlambda termとして符号化しても、それぞれの相互作用のinterfaceやcomposition lawは説明されない。

しかしDawkins的な観点では、economic agents、organisms、genes、memesは同じ世界の中で相互作用している。したがって必要なのは単一のuntyped syntaxではなく、異なるgame semanticsを接続できるheterogeneous compositional frameworkである可能性が高い。

候補：

• virtual double categories / equipments
• decorated or indexed open games
• coalgebraic game frames with varying strategy doctrines
• fibrations of game semantics
• double categories whose objects encode interfaces and whose horizontal arrows encode heterogeneous games
• cybernetic systems combining biological fitness, economic utility, and informational replication

Goal

第一段階では、combinatorial gamesに対するvirtual equipmentを厳密に構成し、既存のopen gamesのdouble categoriesとの比較定理を与える。

第二段階では、P-position、Nash equilibrium、coalgebraic recursion、Bouton’s theoremを同じcompositional languageで関係づける。

最終的には、economic gamesとbiological gamesを同じsyntaxへ潰すのではなく、異なる意味論を保ったまま合成できる「進化論の構造的モデル」へ接続する。

David Jaz Myersのcategorical systems theoryとの関係

David Jaz Myersのbook draft Categorical Systems Theory を参照する。Julesのdouble-categorical approachは、Myersのcategorical systems theoryにおけるdouble-categorical approachと関係しているらしい。

したがって、この草稿は単なる一般的なsystems theoryの背景ではなく、Julesのopen gamesにおけるdouble-categorical構成が属する系譜と、組合せゲーム側で構成したいdouble categoryあるいはvirtual double categoryを比較するための直接的な参照点として読むべきである。ただし、両者の正確な技術的対応関係は未確認であり、今後、用いるlens、interface、horizontal/vertical morphism、compositionの対応を文献上で検証する必要がある。

Survey: Internal hom for Conway addition

3-line Summary

• Hora は impartial games を finite-powerset functor の recursive coalgebras として組織し、その圏 $\mathbf{Game}$ が locally finitely presentable、かつ Conway addition に関して symmetric monoidal closed であることを示している。
• closedness の証明は adjoint functor theorem による存在証明であり、論文の Question 5.7 は Conway addition に対応する internal hom の明示的構成を問う。公式 Problems 5.0.5 にも同じ問いが掲載されている。
• 同論文の cofree game の式から、internal hom を $R(\operatorname{Set}(UG,UH))$ の部分gameとして書く候補を導ける。今後の核心はこの候補の普遍性の検証・簡約と、Joyal型の player-switching との関係である。

Current public status

• arXiv:2510.22886 の Question 5.7 と現行の公式 Problems ページで未解決問題として公開されている。
• issue #43 の下書きには共著者名が記されていたが、2026-07-10に確認した arXiv:2510.22886 の著者表示は Ryuya Hora 単著である。本サーベイでは公開版の書誌情報を採用した。
• 下記の cofree-subgame formula は本サーベイで既存定理から導いた候補であり、原論文に internal hom の解答として記載されたものではない。著者による検証前なので result とは扱わない。

1. Hora, Games as recursive coalgebras

書誌情報

• Ryuya Hora, Games as recursive coalgebras, arXiv:2510.22886, submitted 2025-10-27.
• https://arxiv.org/abs/2510.22886

一致した概念

• impartial game を $\mathcal{P}_{\mathrm f}$-coalgebraから得られる recursive coalgebra として扱い、それらの圏 $\mathbf{Game}$ を構成する。
• Conway addition は Definition 2.10 で定義され、symmetric monoidal closed structure を与える（Proposition 4.2）。
• $\mathbf{Game}$ は locally finitely presentable である。より一般に、Set 上の cartesian monoidal structure を持ち上げる monoidal structure は、各変数で余極限を保存することと adjoint functor theorem により monoidal closed になる（Corollary B.11）。
• Question 5.7 は「Conway addition に関する internal hom は何か」と問い、存在は抽象的に分かるが明示的構成は不明とする。
• cofree game $R(S)$ は $S$-labeled hereditarily finite sets として明示される（Proposition B.14）。この結果を internal hom の表現問題へ適用すると、次の候補が得られる。

Cofree-subgame formula（本サーベイの導出候補）

$S=\operatorname{Set}(UG,UH)$ とする。$R(S)$ の position は $S$-labeled hereditarily finite set $t=(T,a)$ であり、$T$ は有限個の子position、$a:UG\to UH$ はラベルである。$A(G,H)\subset R(S)$ を、各positionとその全子孫について

$$\theta_H(a(g)) =\{a(g')\mid g'\in\theta_G(g)\} \cup\{a_{t'}(g)\mid t'\in T\} \quad(g\in UG)$$

を満たす最大の部分gameとする。すると $\operatorname{ev}(g,t)=a(g)$ は $G+A(G,H)\to H$ の game morphism になる候補である。

任意の game morphism $f:G+K\to H$ に $a_k(g)=f(g,k)$ を対応させ、Proposition B.14 の cofree transpose $K\to R(S)$ を取る。$f$ が game morphism である条件を展開すると、その transpose が $A(G,H)$ に入る条件と一致するように見える。これを両向きに厳密化できれば

$$\mathbf{Game}(G+K,H)\cong\mathbf{Game}(K,A(G,H))$$

が従い、$A(G,H)$ が求める internal hom になる。

関係の種類

問題の直接の出典、既知の存在定理、および比較方針。

根拠の強さ

定理・系・Question 5.7 の本文に基づく直接的な一致。

確信度

高い。internal hom が存在することと、公開論文がその明示的構成を未解決としていることは明記されている。

次のアクション

上の cofree-subgame formula について、evaluation が morphism になることと transpose/factorization の同値を形式的に証明する。その後、小さい有限gamesで計算して式を簡約する。

2. Kapulkin–Kershaw, Closed symmetric monoidal structures on the category of graphs

書誌情報

• Krzysztof Kapulkin and Nathan Kershaw, Closed symmetric monoidal structures on the category of graphs, Theory and Applications of Categories 41(23), 2024, pp. 760–784.
• arXiv:2310.00493: https://arxiv.org/abs/2310.00493

一致した概念

• graph category 上の closed symmetric monoidal products を、box product と categorical product の2種類に分類する（Theorem 4.11）。box product の internal hom は明示されている（Proposition 2.5）。
• Hora 論文は graph categories との類似を背景に挙げており、内部homを combinatorial data から記述する際の比較対象になる。

関係の種類

構成手法と隣接圏の比較。$\mathbf{Game}$ の Conway addition に対する直接の解答ではない。

根拠の強さ

graph category における分類定理としては強いが、recursive coalgebras への移植可能性は推論段階である。

確信度

中。対象圏と monoidal product が異なるため、具体的な式を転用できるかは未確認である。

次のアクション

両 graph products の internal hom の頂点・辺の定義を、games の positions・moves の候補に翻訳できるか比較する。

3. Joyal, Remarks on the Theory of Two-Player Games

書誌情報

• André Joyal, Remarques sur la théorie des jeux à deux personnes, Gazette des sciences mathématiques du Québec 1(4), 1977, pp. 46–52.
• Robin Houstonによる英訳: https://bosker.wordpress.com/wp-content/uploads/2010/12/joyal-games.pdf

一致した概念

• partisan game の opposite $-G$ は Left と Right の役割を交換する。
• Joyal の strategy category では $G\to H$ の morphism を $H-G=H+(-G)$ における winning strategy として定める。
• この duality により category は compact closed になり、internal hom に相当する game は $-G+H$ で表される。

関係の種類

古典的な比較対象。ただし morphism は strategy であり、Hora の $\mathcal P_{\mathrm f}$-coalgebra homomorphism（path-lifting map）とは異なる。

根拠の強さ

原論文の game opposite・sum・strategy-category の定義に基づく直接的な一致。

確信度

高い。式そのものは明確だが、Hora の category への移植は未証明である。

次のアクション

cofree-subgame formula のpositionに、$-G+H$ の copy-cat / player-switching strategyに相当する情報がどう符号化されるか調べる。

4. Honsell–Lenisa–Redamalla, Categories of Coalgebraic Games

書誌情報

• Furio Honsell, Marina Lenisa, and Rekha Redamalla, Categories of Coalgebraic Games, MFCS 2012, LNCS 7464, pp. 503–515.
• 著者公開PDF: https://users.dimi.uniud.it/~marina.lenisa/Papers/Soft-copy-pdf/mfcs12.pdf

一致した概念

• possibly non-wellfounded games を final coalgebra の要素として扱い、sum・negation・linear implication を final morphisms で定める。
• linear implication を sum と negation から構成する（Definition 10）。well-founded games と winning strategies の full subcategory は compact closed であり（Theorem 4）、Joyal の category を回収する（Corollary 2）。

関係の種類

coalgebraic games における direct formula と strategy semantics の先行研究。ただし対象は final coalgebra の要素、射は strategies であり、Hora の recursive coalgebras と coalgebra homomorphisms の圏とは別である。

根拠の強さ

定義・定理レベルの直接的な一致。

確信度

高い。今回の category との差異を保った比較が必要である。

次のアクション

同論文の linear implication の coalgebra equation と cofree-subgame formula を並べ、同じ recursive pattern と strategy固有の player labelsを分離する。

5. Altman–Lipparini, A Ring structure on the Class of Combinatorial Games

書誌情報

• Harry Altman and Paolo Lipparini, A Ring structure on the Class of Combinatorial Games, arXiv:2604.27847, submitted 2026-04-30.
• https://arxiv.org/abs/2604.27847

一致した概念

• partizan combinatorial games に通常より細かい equivalence relation を導入し、その同値類の上で加法と乗法が可換環を成すことを示す（Theorem 4.7）。
• Conway 型の演算を扱う点では近いが、商集合上の環構造と、$\mathbf{Game}$ における関手 $G+(-)$ の右随伴は異なる問題である。

関係の種類

近接する代数的研究。競合する解答ではなく、演算と同値関係の選び方を比較する資料。

根拠の強さ

論文の定義と環構造の主定理に基づく。今回の internal hom への否定的区別は、扱う対象と普遍性の相違からの判断である。

確信度

高い。少なくとも論文の主結果は categorical internal hom の明示式ではない。

次のアクション

同論文の equivalence が $\mathbf{Game}$ の morphisms や Conway addition とどの程度両立するかだけを切り分け、internal hom のテスト例に使えるか確認する。

Relation to Hora themes

target	relation	strength	confidence	evidence
Games as recursive coalgebras	問いの直接の研究系列	strong	high	Hora 2025, Question 5.7
Conway addition	internal hom を求める monoidal product	strong	high	Hora 2025 の closedness と公開問題
cofree game	internal hom候補を載せる明示的なambient game	strong	medium	Hora 2025, Proposition B.14からの本サーベイの導出
partisan games	player-switching dualityとの比較候補	strong	high	Joyal 1977; Honsell–Lenisa–Redamalla 2012
graph categories	explicit closed structuresの構成手法候補	medium	medium	Kapulkin–Kershaw 2024
ring structure on games	Conway型演算を扱う隣接研究	weak	high	Altman–Lipparini 2026

使った検索語と検索先

• "internal hom" "Conway addition"
• "Games as recursive coalgebras" internal hom
• "Categories of Coalgebraic Games" linear implication
• Joyal two-player games compact closed internal hom
• site:arxiv.org combinatorial games ring structure
• arXiv abstract / TeX source、Hora公式 Problemsページ、issue #43

gaps

• cofree-subgame formula の普遍性はまだ著者による検証を経ていない。
• formula を小さい有限例で計算・簡約する作業は未実施。
• arXiv:2510.22886 を引用する後続研究の網羅的な citation graph は未調査。
• 「公開文献に式が見つからない」ことだけを新規性の証拠とはしない。

免責

これは機械の提案であり、洞の確認と数学的検証を経ていない。

Survey: Differential structures of games as recursive coalgebras

3-line Summary

• Hora の公開論文は Question 5.1 で、Conway addition に関する Bouton monoid の「differential structures」が recursive-coalgebraic formulation にどう現れるかを問う。公式 Problems 5.0.3 にも同じ問いが掲載されている。
• 同論文は直後に部分解を与え、Bouton monoid が $\mathcal P_{\mathrm f}$-algebraから誘導される場合の Rota--Baxter equation を証明している。したがって問題は、既知の式を説明し一般化する構造の同定である。
• differential categories は Leibniz rule と coalgebra modality を扱う有力な比較対象だが、games の move map や Bouton monoid への直接適用は未確認である。

Current public status

• arXiv:2510.22886 v3（2025-11-14）と現行の公式 Problems ページで公開問題として確認した。
• 論文が明記する部分解を瓶本文へ含めたため、「微分構造が全く分からない」とは記述しない。
• issue下書きにある準備中の共同研究については、公開版の内容を確認できていないため、本サーベイの根拠には用いない。

1. Hora, Games as recursive coalgebras

書誌情報

• Ryuya Hora, Games as recursive coalgebras: A categorical view on the Nim-sum, arXiv:2510.22886, v3, 2025.
• https://arxiv.org/abs/2510.22886

一致した概念

• impartial games を $\mathcal P_{\mathrm f}$-coalgebrasから得られる recursive coalgebras として扱い、game values を recursive calculation として定式化する。
• Conway addition の move map は、積の Leibniz rule と同形の二項分解を持つ。
• nim-sum と $\operatorname{mex}$ の再帰式を、Rota--Baxter equation の類似として読む。
• Question 5.1 は、この「differential structures」を formulation 内で同定することを問う。
• 直後の命題は、Bouton monoid が $\mathcal P_{\mathrm f}$-algebra $\beta$ から誘導されるという仮定の下で、monoid product と $\beta$ が Rota--Baxter 型の式を満たすことを示す。

関係の種類

問題の直接の出典、既知の部分解、研究を進める際の最低要件。

根拠の強さ

Question 5.1 と、その直後の命題・証明に基づく定理レベルの直接的な一致。

確信度

高い。問いと部分解は公開TeX原文で確認した。「どの既存の differential doctrine が正解か」は論文でも未確定である。

次のアクション

move map $\theta$、fold $\beta$、Bouton function $G$、monoid product $\circledast$ の型を一枚に並べ、必要な naturality と Leibniz / Rota--Baxter axioms を最小化する。

2. Blute--Cockett--Pacaud Lemay--Seely, Differential Categories Revisited

書誌情報

• R. F. Blute, J. R. B. Cockett, J.-S. Pacaud Lemay, R. A. G. Seely, Differential Categories Revisited, Applied Categorical Structures 28 (2020), 171--235.
• arXiv:1806.04804: https://arxiv.org/abs/1806.04804

一致した概念

• differential categories を deriving transformation と coalgebra modality によって定式化し、categorical Leibniz rule を扱う。
• Rota--Baxter algebras が non-monoidal coalgebra modality を持つ differential category の例を与える。
• games論文の「differential part / integral part」と Leibniz / Rota--Baxter の対比を検査するための既存語彙を提供する。

関係の種類

関連する一般理論。Bouton monoid の構成や recursive games の Question 5.1 への直接回答ではない。

根拠の強さ

abstract と本文の一般定義・例との概念的一致。対象圏と構造の対応付けはまだ推論段階である。

確信度

中。比較対象としての関連は明確だが、$\mathbf{Game}$ に必要な coalgebra modality や deriving transformation が存在するかは未確認である。

次のアクション

同論文の differential category axiomsを、$\mathbf{Game}$ の Conway addition と finite-powerset recursion に型付けできるか一項目ずつ照合する。型が合わない場合は、Bouton monoid側の Rota--Baxter object を相対的に定義する。

Relation to Hora themes

target	relation	strength	confidence	evidence
Games as recursive coalgebras	問いの直接の研究系列	strong	high	Hora 2025, Question 5.1
Bouton monoid	微分構造で具体化したい対象	strong	high	Hora 2025, Section 5
Conway addition	Leibniz 型のmove decompositionを持つ積	strong	high	Hora 2025
internal hom	同じmonoidal product上の別問題	weak	high	既存瓶 g6c8vxとの問いの型の相違
differential categories	公理化の比較候補	medium	medium	arXiv:1806.04804

使った検索語と検索先

• "Games as recursive coalgebras" "differential structures"
• "Question 5.1" Bouton monoid Conway addition
• site:arxiv.org Rota-Baxter differential categories coalgebra modality
• arXiv abstract / TeX source、Hora公式 Problemsページ、issue #43

gaps

• 準備中とされる differential calculus の共同研究は公開版を確認していない。
• differential category axioms と $\mathcal P_{\mathrm f}$-recursive coalgebras の厳密な型照合は未実施。
• arXiv:2510.22886 を引用する後続研究の citation graph は未調査。
• 検索で直接の解答が見つからなかったことを、新規性の証拠とは扱わない。

免責

これは機械の提案であり、洞の確認と数学的検証を経ていない。

Inoue の発表（2026-07-30）で聞いた「語の上の subtraction game」から。局面は $w \in \Sigma^*$、固定した $S \subseteq \Sigma^+$ に対し合法手は接頭辞除去 $sx \to x$（$s \in S$）、normal play。P-局面全体 $P_S$ は well-founded グラフの kernel であり、一意に

$$\Sigma^* \setminus P_S = S\,P_S$$

を満たす。これは Larsson の invariant subtraction game の $\star$-operator（$S^\star := P_S \setminus \{\varepsilon\}$）を可換モノイド $\mathbb{N}^d$ から自由モノイド $\Sigma^*$ へ非可換化したもの。

Idea

予想 (FGS: finite game-star conjecture): $S$ が有限なら $P_S$ の generalized star height は 1 以下。

分かっていること:

• $S$ 有限 $\Rightarrow P_S$ は正規。ただし像 $\mathrm{KFin}_\Sigma = \{P_S : S \text{ finite}\}$ は $\mathrm{REG}$ の真部分クラス（例: $P=\{\varepsilon\}$ は実現不能）。
• $S$ が prefix code の場合は証明済み: $T := \Sigma^* \setminus S\Sigma^*$ と置くと greedy 分解の一意性から$$P_S = (S^2)^* T, \qquad N_S = S (S^2)^* T$$で、$S$ 有限なら $S^2, T$ は star-free なので $h_{\mathrm{gen}} \le 1$。
• 一般の有限 $S$ では元同士が接頭辞として重なりゲーム木が分岐し、$\mathbf{1}_P(w) = \neg \bigvee_{w=sx,\, s\in S} \mathbf{1}_P(x)$ という bounded NOR 固定点になる。この分岐を一段の Kleene star に flatten できるかが本体。

Goal

• (FGS) が正なら $\mathrm{KFin}_\Sigma \subseteq \mathcal{H}_1$ という大域定理。
• 逆に $h_{\mathrm{gen}}(P_S) \ge 2$ となる有限 $S$ が一つでもあれば、それ自体が Generalized Star Height 問題（高さ 2 以上の正規言語の存在）の否定的でない方向の解決例になる。どちらに転んでも価値がある。

Personal context

• Generalized Star Height の既存ノートの prefix-code greedy 分解・一方向 flattening $(X^*Y)^* = \{\varepsilon\} \cup (X \cup Y)^* Y$ がそのまま道具になる。
• 関連未解決問題（発表者情報）: WordWythoff（$S = a^+ \cup b^+ \cup \{|w|_a = |w|_b\}$）の N-局面が context-free かは不明。

Machine evidence: S = {a, b, ab} は height ≤ 1（⚪COMPUTED, 2026-08-07）

進化型探索ループ（検証器はゲームDP＋Brzozowski微分の式評価器、kernel方程式とprefix-code定理式による独立検証つき）が、重なりあり（a が ab の prefix）の最初のインスタンス S = {a, b, ab} で height-1 表現を発見した:

P_S = (bb)* ( 1 | aa(aa)*(1 | bΣ*) | ba(aa)*(1 | bΣ*) )

DSL原文 (bb)*(1|aa(aa)*(1|b~0)|ba(aa)*(1|b~0))。長さ≤12の全語（8191語）と乱択30000語（長さ≤300）でP-position判定と完全一致、star nesting depth は 1。ラベルは⚪COMPUTED（証明ではない）。証明化は未着手。

AI research reportの「正確な主張」と根拠が指定した有限ケースでの合成一致を主張。

一応答外側ゲームと二応答中間ゲームの全列挙

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

対象

一問一答ゲームを Q_n=(o^-;p_0^+,…,p_{n-1}^+) と書き、A=C=Q_1、X=Q_2 とした。合流写像 q:X→Q_1 は p_0,p_1 を同じ応答 p に送る。Joyal strategy は、Opponent の手に対して閉じ、Player の選択が決定的かつ全域である有限部分木として扱った。

正確な主張

強制される prefix を省略すると、合法な R:A→X は R_0（中間応答 p_0 を選ぶ）と R_1（p_1 を選ぶ）の2本だけである。合法な S:X→C は S_（反転した X 側で到来し得る p_0,p_1 の双方を受け、唯一の C 応答へ返す）の1本だけである。したがって
S_∘R_0=S_*∘R_1=T,
ここで T:A→C は唯一の一応答 strategy である。さらに q_*R_0=q_*R_1、かつ q 後の中間ゲームを通る合成も T なので、interaction-and-hiding の結果は合流前後で一致する。

根拠

Joyal の符号付きゲームでは、射 A→B は反転した A と B 上の strategy として構成され、合成は共有ゲーム上の interaction から中間手を隠して得られる。この符号反転により、R で Player 選択だった X の二枝は S では Opponent 側の枝になる。Opponent 閉性は S に両枝への応答を要求するため、関係模型で必要だった「片方の中間枝だけを受理する S」は合法でない。定義の一次資料は https://people.cs.uchicago.edu/~brady/CSPP50102/notes/Joyal-games.pdf 。本問題の coalgebra 側の目的と既存設定は https://arxiv.org/abs/2510.22886 。

失敗点

この列挙が排除するのは、A,C が各一応答、X が同一質問に対する二つの Player 応答を持ち、全域決定的 Joyal strategies を使う場合だけである。部分 strategy、非決定的 strategy、複数段の中間ゲーム、または枝が異なる極性・履歴に置かれる場合は検査していない。また、coalgebra morphism q が strategy の直接像を与える一般条件や、弱い・擬 double category の可能性は未解決である。

次の決定的検査

中間ゲームを二段 X=(o^-;p_i^+;o_i^-;p_i'^+) に拡張し、合流 q が最初の Player 枝 p_0,p_1 を同一視する一方、後続の Opponent 履歴を区別する場合について全 strategy を列挙する。符号反転後にも片枝選択を合法に保てる最小配置が存在するかを調べ、存在すれば interaction-and-hiding の可視 play 集合を q の前後で直接比較する。

AI evaluation reportの独立reviewerが「claimの主張内容自体は圏論的に正しく」とsupport。double categoryの対象共有の必要性のみを対象とし、新規結果の主張ではない。

claim a66892-state-objects の独立レビュー

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

検討対象: 「Double category の縦圏(vertical 2-category)と横 bicategory は共通の対象族を持つため、候補構成には recursive-coalgebraic games と Joyal games の対象同定または共通部分への制限が必要である」。

1. 数学的前提の検証: double category D は定義上ただ一つの対象類 Ob(D) を持ち、その上に縦射(vertical 1-cells)からなる2-圏と、横射(horizontal 1-cells)+方形2-cellからなる bicategory の両方が構成される（Ehresmann の原定義以来の標準事実）。検索で得た TAC 38-33「Double Categories of Relations」の要約記述および nLab「double category」の定義が明示的にこれを確認している：vertical 2-category は対象・縦射・縦セルから、horizontal bicategory は対象・横射・横セルから成り、対象は共通。この部分は独立に真であり、原典（Ehresmann/Grandis-Paré/Shulman系文献）でも一致する周知の事実であって novelty はない。

2. 主張の論理構造: 「候補構成」が recursive-coalgebraic games の圏(縦)と Joyal games の(bi)圏(横)を組み合わせて一つの double category を作ろうとするものである限り、上記の定義上の制約から、両フレームワークの対象（=ゲーム）が一致しているか、少なくとも共通部分に制限しなければ double category として well-defined にならない。これは(1)からの直接帰結であり、reject する根拠は見当たらない。

3. 個別ソースの直接検証結果:

• arXiv:2510.22886「Games as Recursive Coalgebras」: 本文取得済み。recursive coalgebra による impartial games の圏 Game を構成（局所有限表示可能・対称モノイダル閉・Set上のcomonadic・subobject classifier を持つ）。本文検索で "double category" "bicategory" は一切出現せず、Joyal への言及は参考文献 joyal1977remarques の1箇所のみで、比較や対象同定の議論は無い。→ このソース単体は claim の対象同定の必要性を主張していないが、否定もしていない（単にその話題を扱っていない）。
• TAC 12-08: 証明書エラー(www.tac.mta.ca のホスト名不一致)と https 版でのPDFバイナリ未展開により本文検証不可。検索でも当該号の表題を特定できず、二次情報のみ。
• Joyal-games.pdf (uchicago, 別ミラー math.uchicago.edu/~may/IMA/JOYAL/Joyal.pdf も試行): PDFがストリーム圧縮のため機械読解不可、内容未検証。一般に Joyal 1977 の games/strategies 構成は(2-cellを持たない)通常の1-圏として知られており、bicategory として扱うには locally discrete bicategory 化などの追加操作が必要になりうる——この点は claim の「対象同定または制限が必要」という慎重な言い回しをむしろ補強する。

結論: claim の主張内容自体は圏論的に正しく、90分の制限内でアクセスできた一次資料（2510.22886, および一般 double category 文献）と矛盾しない。ただし挙げられた3件の evidence_refs のうち2件(TAC 12-08, Joyal-games.pdf)は技術的理由で直接確認できておらず、2510.22886 はこの claim の内容を直接論じてはいない。support とするが、証拠の直接性には限界がある。

Idea

無限ゲームと $\omega$-semigroup を繋ぐ研究方向。

$\omega$-semigroup は無限語の認識を扱う代数で、有限語に対する monoid の役割を担う。

Goal

問いを確定する。

洞のゲーム系（Differential structures of games 系列）と言語系（Infinite-word points of Σ-Set の infinite-word points、Hyperconnected language theory の hyperconnected language theory）の交差点にある。

Answer

The category $\mathbf{Game}$ is not cartesian closed and therefore is neither an elementary nor a Grothendieck topos. This is Remark B.27 of Games as recursive coalgebras.

The obstruction is failure of a product functor to preserve colimits. For the game $\mathbb S_2$ used in the paper, the quotient of its canonical $\mathbb Z/2\mathbb Z$-action is $\mathbb S_1$, whereas the corresponding quotient after multiplying by $\mathbb S_2$ has six elements and is not $\mathbb S_2\times\mathbb S_1$. Hence $\mathbb S_2\times(-)$ has no right adjoint.

This does not contradict the existence of a subobject classifier or local finite presentability. It also does not contradict closedness for Conway addition: the categorical product and Conway addition are different operations.

Separate question

A suitable completion might be a topos even though $\mathbf{Game}$ itself is not. Note 42 concerns such a completion. Any claim about it must specify the completion and embedding and provide its own proof; it does not reopen the answered question above.

$\mathbf{Game}$ は topos でない（Game is not a topos）ので前層圏と同値でなく，Conway 和を $\mathbf{Game}$ 自身の上の Day convolution として書くことはできない．一方，有限ゲームの同型類の代表からなる小さな充満部分圏 $\mathcal A$（finitely presentable な対象．論文 v3 Lemma B.8．稠密で，1点ゲームを含み Conway 和で閉じる）上の Day convolution $\star$，制限 Yoneda $N$，その左随伴 $L$ について $X+Y\cong L(NX\star NY)$ が成り立つ（Reflected Day convolution）．閉構造もここから出る：$a\in\mathcal A$ について $N([X,Y]_+)(a)\cong\mathbf{Game}(a+X,Y)\cong[NX,NY]_{\mathrm{Day}}(a)$ なので，Conway 和の internal hom（明示形は Internal hom for Conway addition）は Day convolution の internal hom の（$N$ の像への）制限である．人間による検証は未了．

「2026-08-26 AI研究監査：reflected Day convolution」のcoend計算と結論。

Idea

$\mathbf{Game}$ 上の box product（Conway addition を与える monoidal 構造）を、ある small monoidal category 上の Day convolution として実現できるかを問う。

Day convolution は small monoidal category $\mathcal A$ に対し前層圏 $[\mathcal A^{\mathrm{op}},\mathbf{Set}]$ へ monoidal 構造を誘導する。$\mathbf{Game}$ が前層圏あるいはその reflective 部分圏として書けるなら（この点は Gameの圏はtoposか の問いと繋がる）、box product が $\mathcal A$ の monoidal 構造から Day convolution として誘導されるかを問える。

原メモが挙げる比較対象は次の三つ。

• $\omega$ や $\mathbb N$ を添字に取ったときの chain のテンソル
• topos of trees の Day convolution
• species の圏。$[\mathbb B,\mathbf{Set}]$ 上の Day convolution が species の積を与えるのと同じ形で、2-rig 構造を作るならこれとパラレルに構成する

Goal

box product が Day convolution として書けるかを決定する。書けるなら、添字圏 $\mathcal A$ とその上の monoidal 構造を同定する。そのうえで、Conway addition の右随伴（Internal hom for Conway addition の internal hom）が Day convolution の閉構造として自動的に出るかを確かめる。

Closed structures on games は「$\mathbf{Game}$ 上の monoidal closed structures を全分類せよ」という問いだが、こちらは「既知の box product を Day convolution という具体的な手段で構成できるか」という構成の問いであり、分類問題への攻め口になる。また Internal hom for Conway addition は internal hom の具体形を cofree game の部分として探しているが、Day convolution の一般論から閉構造が出るなら別ルートでの記述が得られる。

species と differential 2-rig の材料（2026-08-16 追記）

原メモの「2rig にしたいなら、species とパラレルに！」に対応する既知の結果：

• Loregian--Trimble, Differential 2-rigs (arXiv:2103.00938) は differential 2-rig を定義し（Def. 4.1）、1生成元上の free differential 2-rig を与える（Thm. 5.16）。そこでは「ある colored species の圏が1生成元上の free differential 2-rig である」ことが示されている
• substitution / plethystic product に対する chain rule も同論文にある（Rem. 5.3、Thm. 5.18、証明は Appendix B）
• Joyal 1981（Adv. Math. 42(1):1--82）の Proposition 5 が species の Leibniz rule にあたる

したがって「species とパラレルに 2-rig を作る」という筋は、Loregian--Trimble の free differential 2-rig の構成と直接比較できる。box product が Day convolution として書けたとき、それが colored species 側の構成とどう対応するかが具体的な問いになる。

2026-08-26 AI研究監査：reflected Day convolution

$\mathcal A=\mathbf{Game}_{\mathrm{fp}}$ を finitely presentable games の小 skeleton，$N:\mathbf{Game}\to[\mathcal A^{op},\mathbf{Set}]$ を restricted Yoneda，

$$L(P)=\int^{A\in\mathcal A}P(A)\cdot A$$

をその左随伴とする．$\star$ が各変数で cocontinuous で finitely presentable games を保つ tensor なら，$\mathcal A$ 上の制限から Day convolution $\star_{\mathrm{Day}}$ が定まり，

$$L(P\star_{\mathrm{Day}}Q)\cong L(P)\star L(Q), \qquad X\star Y\cong L(NX\star_{\mathrm{Day}}NY)$$

が自然に成り立つ．証明は Day convolution の coend 展開と cocontinuity：

$$\int^{A,B}P(A)\times Q(B)\cdot(A\star B) \cong \left(\int^AP(A)\cdot A\right)\star \left(\int^BQ(B)\cdot B\right).$$

したがって box product / Conway addition は Game 自身を前層圏と同一視した literal Day convolution ではない（Game は topos でない）が，Gabriel--Ulmer の reflective presentation を通した canonical reflected Day convolution である．

claim a66892-state-objects の独立反対検討

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

主張: 「double category の縦圏(vertical category)と横bicategory(horizontal bicategory)は共通の対象族を持つため、recursive-coalgebraic games と Joyal games の候補構成には対象同定または共通部分への制限が必要」。

1. 一般命題の検証: nLab の double category の項目、Wikipedia の Double category 項目、および Verity double bicategory の定義を確認したところ、double category（および double bicategory）は定義上、vertical 側の圏と horizontal 側の(bi)category が同一の対象(0-cell)族を持つ構造であることが明記されている。この点は標準的でtrivialに近い定義的事実であり、真であると独立に確認できた。

2. 一次資料としての引用の検証(ここが問題):

• evidence_refs の一つ http://www.tac.mta.ca/tac/volumes/12/8/12-08.pdf (証明書エラーのため https://tac.mta.ca/... で再取得) は、実際には Michael Barr『On Subgroups of the Lambek Pregroup』(TAC vol.12 no.8, 2004, pp.262-269) であり、pregroup(半順序モノイド)に関する論文で、double category にも games にも一切言及がない。この引用は主張とは無関係の誤った一次資料である。
• https://arxiv.org/abs/2510.22886 (『Games as recursive coalgebras』) は recursive coalgebra を用いてゲームを圏 Game として再定義する論文で、圏 Game が局所有限表示可能・対称モノイダル閉・Set上comonadic等の性質を持つことを示すが、要旨レベルでは double category・bicategory・Joyal games への言及は確認できなかった(全文までは検証していない)。
• https://people.cs.uchicago.edu/~brady/CSPP50102/notes/Joyal-games.pdf は証明書エラーで直接取得できなかったが、Web検索により該当ノートの内容として Joyal の games の圏では対象=games、射=strategies であることが裏付けられた。これは recursive-coalgebraic games 側の対象(coalgebra的なgame表現)と一致するとは限らず、対象クラスが異なりうるという主張の前提は支持的だが、直接この一次資料内で「対象同定または制限が必要」と明言されているかは未確認。

結論: 一般的な圏論的事実(1)は真であり独立に確認できたが、主張を支える3件の evidence_refs のうち1件は完全に無関係な論文であり、残り2件も「候補構成に対象同定または制限が必要」という具体的帰結を直接述べているとは確認できなかった。従って証拠の連鎖として不十分。

multi-select sum（正の有限個の成分を選び，選んだ各成分で1手ずつ指す和）は論文 v3 Example 4.3 の selective sum $\vee$ であり，その普遍的な monoid 不変量は Bouton monoid $B_{\vee,v}$（Definition 4.6，存在は Theorem 4.8）である．outcome については $B_{\vee,\mathrm{Outcome}}=\{P,N\}$（Example 4.15）で，原メモの補題（和が P ⇔ 各成分が P）はこの事実である．Grundy 数については Question 5.8 そのものなので The Bouton monoid に統合する．selective context は birthday を回収し（$k\gg0$ で $\operatorname{Gr}(A\vee *k)=k+d(A)$：Eventual affine mex則），birthday と Grundy 数の組は完全な不変量でない（$\{*2\}$ と $\{*1,*2\}$ はともに $(3,0)$ だが，$*1$ との selective sum の Grundy 数は 1 と 4）．原メモの LN(3,2) は $\mathrm{Nim}_1\vee(\mathrm{Nim}_1+\mathrm{Nim}_1)$ で，論文 v3 §5.4.2 が CN(6,2) の中に見つけた部分ゲーム $\mathrm{Nim}_1+(\mathrm{Nim}_1\vee(\mathrm{Nim}_1+\mathrm{Nim}_1))$ の内側にあたる．

「2026-08-26 AI研究監査：eventual birthday theorem」の証明と(d,Gr)反例。

Idea

Games $A_1,\dots,A_n$ に対して、それらの multi-select sum（正の有限個の成分を選んでプレイする和）を考える。これは不偏ゲームの monoidal product で、Conway addition に似ている。

問い: この operation に関する普遍的な monoid 不変量（universal monoid invariant）は何か。

原メモの観察・部分結果:

• LN(3,2) は 2山Nim と 1山Nim の multi-select sum なので、universal monoid invariant が分かれば LN(3,2) が解けるはず。
• 予想（原メモ自身が曖昧と注記）: universal monoid invariant は Birthday と Grundy number のペアか？（「しなさそう．いや，するかも」）
• 性質: $1\mathrm{Nim}(n)+1\mathrm{Nim}(m)=1\mathrm{Nim}(n+m)$（一山）、$LN(3,2)(a,b,c)=2\mathrm{Nim}(a,c)+1\mathrm{Nim}(b)$、$X_1+\dots+X_1=\mathrm{Nim}_n$（$X_{n+1}=\{X_n\},\ X_0=0$）。
• Lemma: $A+B$ が P-position $\iff$ $A$ も $B$ も P-position（LN(3,2) のときに観察済み）。よって universal monoid では P-position は全て単位元（後手必勝ゲーム全体のなす同値類）につぶれる。
• universal monoid は群ではない: $\mathrm{Nim}_n$（$n>0$）に何を multi-sum しても単位元になれない（Lemma より）。
• $\{P,N\}$-universal monoid は $\{P,N\}$ 自体。だから本命は Grundy-universal monoid で、単位元も考え直す必要がある。Birthday が関わるかも。
• 「Game Operation and Universal Monoids」という観点からは、パス付き三山ニムの未解決問題も関連しそう。"Recursive aspect" にも注目する。
• 例の候補: Grundy数 / Remoteness / Selective sum + PN / 逆形ゲーム / Selective sum + Grundy / Selective and Conway sum（知りたい）/ パスつき3山Nim（"dependent sum"）。

Universal monoid・recursive coalgebras・monoidal structure を全部駆使したい方向（原メモの結び）。Games as recursive coalgebras 系の公開問題 The Bouton monoid（Bouton monoid）・Closed structures on games（monoidal closed structures）と近い場所にあるが、multi-select sum という別の operation の普遍不変量を問う点で独立した問い。

2026-08-26 AI研究監査：eventual birthday theorem

selective compound を $A\nabla B$，Nim heap を $*k$，$d(A)$ を $A$ からの最大 play 長（birthday/depth）とする．任意の short finite impartial game $A$ について

$$\operatorname{Gr}(A\nabla *k)=k+d(A)$$

が十分大きいすべての $k$ で成り立つ．

証明：$f_A(k)=\operatorname{Gr}(A\nabla *k)$ と置く．$A\nabla*(k+1)$ の option set は $A\nabla*k$ とその全 option を含むので $f_A(k+1)>f_A(k)$．一方 Grundy number は depth 以下だから $f_A(k)\le k+d(A)$．従って $\delta_A(k)=f_A(k)-k$ は非減少かつ $d(A)$ 以下で，最終的に定数 $e$ となる．$d=d(A)>0$ とし depth $d-1$ の option $A'$ を取る．帰納法で $\operatorname{Gr}(A'\nabla *j)=j+d-1$（$j\gg0$）．もし $e\le d-1$ なら $j=k+e-(d-1)\le k$ と置くと $A'\nabla *j$ は $A\nabla*k$ の option であり，その Grundy number は $k+e=f_A(k)$ となって mex に反する．よって $e=d$．

従って selective contexts に関する universal monoid は birthday を検出する：

$$d(A)=\lim_{k\to\infty}(\operatorname{Gr}(A\nabla*k)-k).$$

また $(d,\operatorname{Gr})$ は普遍不変量ではない．$G=\{*2\}$ と $H=\{*1,*2\}$ はともに $(d,\operatorname{Gr})=(3,0)$ だが

$$\operatorname{Gr}(G\nabla*1)=1,\qquad \operatorname{Gr}(H\nabla*1)=4.$$

Bouton monoid 全体の決定には，異なる hereditarily finite games を有限 selective context が必ず分離するか，または collision があるかを決める必要がある．

Partisan games via Pfin×Pfin に統合する：論文 v3 Proposition 5.4 により終 recursive $\mathcal P_{\mathrm{fin}}\times\mathcal P_{\mathrm{fin}}$-coalgebra は short partisan game forms の集合で，$0,1,-1,*$ は形として相異なり，和と符号反転は左右の option の再帰で定まる．strategy の圏・閉構造・double category にはそれぞれ別の定義と証明が要る，という内容は同ノートの本文と同じである．

A coalgebra for $\mathcal P_{\mathrm{fin}}\times\mathcal P_{\mathrm{fin}}$ assigns Left and Right option sets to each position. In the recursive case, the terminal object recovers short partisan game forms. The relevant published statement is Proposition 5.4 in Section 5.2 of Games as recursive coalgebras.

The four forms

$$0=(\varnothing,\varnothing),\quad 1=(\{0\},\varnothing),\quad -1=(\varnothing,\{0\}),\quad *=(\{0\},\{0\})$$

are distinct. This distinction is about game forms, not an identification of coalgebra maps with legal playing strategies.

Sections 3.5–3.6 of that paper concern game values and the terminal impartial game; they are not a source for a partisan Joyal duality or tensor construction.

Sum and negation can be defined recursively on partisan forms, as recorded in note 3. Establishing a strategy category, closed structure, or double category requires the additional definitions and compatibility proofs stated there and in note 1.

claim a66892-state-objects の独立レビュー

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

会話履歴を参照せず、3件の根拠URLをそれぞれ一次資料として直接確認した。

1. http://www.tac.mta.ca/tac/volumes/12/8/12-08.pdf (TAC vol.12 no.8): 実際に開くと Michael Barr "On subgroups of the Lambek pregroup" であり、pregroup(半群論的構造)に関する論文で、double category や games とは無関係だった。主張の根拠として機能しない誤citationである。

2. https://arxiv.org/abs/2510.22886: 著者自身(Ryuya Hora)の "Games as recursive coalgebras: A categorical view on the Nim-sum"。recursive-coalgebraic games の圏 Game を定義する論文であることは確認できたが、要旨・構成を見る限り Joyal games や double category への言及は見当たらない。したがって「recursive-coalgebraic games」側の定義の出典としては妥当だが、double category の対象共有という主張の核心部分は支持しない。

3. https://people.cs.uchicago.edu/~brady/CSPP50102/notes/Joyal-games.pdf: 証明書検証エラー(unable to verify the first certificate)により内容を取得できず、http/https いずれの経路でも失敗した。この回では独立検証不能。

一方、主張の数学的内容そのもの――「double category は縦の(厳密)圏と横の(弱い)bicategoryが同一の対象族(objects)を共有する」――は、double category の標準的定義そのものであり、nLab の double category 項目(https://ncatlab.org/nlab/show/double+category)で独立に確認できた: objects は D0 の対象、vertical morphisms は D0 の射、horizontal morphisms は D1 の対象、というように両方の圏構造が同じ D0 の対象集合の上に立っている。この点自体は folklore に近い既知の事実であり、結論(recursive-coalgebraic games と Joyal games を double category として統合する候補構成には、対象の同定または共通部分への制限が必要)は論理的に妥当な帰結である。

ただし、review の役割は「提示された根拠が主張を支持するか」の検証であり、その観点では根拠1は完全に無関係な誤citation、根拠2は主張の核心(double category構造)を扱っておらず、根拠3は検証不能だった。反例も見つからないが、支持の根拠も確認できないため insufficient と判定する。特に根拠1の誤citationは、同じ producer(codex)の他の claim でも citation 精度を再点検すべき兆候として報告に値する。

AI evaluation reportの独立reviewerが「主張された数学的内容」は正しいとsupport。0,1,-1,*の区別とdual/tensorの再帰式に限定し、一般double category構成の解決主張ではない。

Review: 有限極性付きcoalgebraによるgameの表現とJoyal型dual/tensor（a66892-polarized-carrier）

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

検証内容:

1. 表現の妥当性: game G={G^L|G^R}をcoalgebra X→P_f(X)×P_f(X)の状態として見ると、0=(∅,∅)、1=({0},∅)、-1=(∅,{0})、*=({0},{0}) となり、4つの(L,R)ペアはすべて相異なる。distinctnessの主張は集合論的に自明かつ正しい。

2. Joyal型dual/tensorの再帰式: web検索で得た複数の独立な二次資料（n-Category Café、Honsell–Lenisa–Pellarini論文の記述、Conway Games Coalgebraically論文）が一致して以下を報告している。

   • disjunctive sum: G+H = {G^L+H, G+H^L | G^R+H, G+H^R}
   • negation(conjugate): Ḡ = {Ḡ^R | Ḡ^L}（Left/Rightの役割を入れ替えて再帰）
     これはJoyal(1977)がConway gameのcompact closed categoryを構成する際の定義そのものであり、claimの「左右成分ごとの再帰式によるJoyal型dual・tensor」の記述と完全に整合する。Joyal本人のPDF（uchicago掲載）は証明書エラーで直接fetchできなかったが、複数の独立した二次資料が一致した内容を報告しており、これはConwayのONAGの古典的定義とも一致するため、内容自体の信頼性は高い。

3. 引用arXiv論文の関連性: arXiv:2510.22886("Games as Recursive Coalgebras")のabstractを確認した。ゲームをrecursive coalgebraとして扱い、Game圏が"symmetric monoidal closed"かつ"comonadic over Set"であることを主張しており、これはclaimが言うtensor構造・(comonadから示唆される)双対的構造と整合する。ただし本文まで確認できておらず、claim文がこの論文からの直接引用か、それとも独立した再構成かは未確定（"calc:minimal-polarized-games-and-tensor"という内部計算参照が併記されていることからも、review側での自前の再導出だと推測される）。

結論: 主張された数学的内容（distinctness、dual/tensorの再帰的定義）はConway/Joyalの古典理論と完全に一致し、正しい（support）。ただしこれは新規結果ではなく、既に複数の論文（Joyal 1977、Honsell–Lenisa–Pellarini 2014、Conway Games Coalgebraically、そして引用されたarXiv論文自体）で確立済みの内容の言い換えである。反例は見つからなかった。

Calculation in relations

Let $A=\{a\}$, $B=\{u,v\}$, and $C=\{c\}$, with $u\ne v$. Take

$$R=\{(a,u)\}\subseteq A\times B,\qquad S=\{(v,c)\}\subseteq B\times C.$$

Then $S\circ R=\varnothing$.

If $q:B\to\{*\}$ identifies $u$ and $v$, the transported relations are

$$R'=\{(a,*)\},\qquad S'=\{(*,c)\},$$

and $S'\circ R'=\{(a,c)\}$. Thus changing the middle object by a quotient can create new relational composites.

Scope

This is an elementary counterexample for arbitrary binary relations. It is not yet a counterexample for a specified class of legal total deterministic game strategies. Such a claim must show that $R,S$ represent allowed strategies, that $q$ is an allowed map, and that the stated transport agrees with strategy composition.

Note 13 discusses the legality issue. The double-category question remains open at that level.

A relational obstruction to transport through a quotient に統合する：関係の例をゲームに当てはめるには，合法な strategy のクラスとその合成，そのクラスに属する二つの strategy，許される coalgebra 射と transport の定義，transport が合成を保たないことの計算が要る，という内容は同ノートの Scope 節と同じである．

The relation-level example in note 23 shows that identifying two intermediate states can create composites that did not exist before the quotient.

To apply that example to games, one must additionally specify:

1. the class of legal strategies and its composition;
2. a pair of strategies belonging to that class;
3. an allowed coalgebra map and a defined transport operation;
4. a calculation showing that this transport fails to preserve composition.

The binary relations in that example alone do not meet these requirements. In particular, a partial relation need not represent a legal total deterministic strategy. Thus the calculation is a warning about a proposed construction, not a no-go theorem for the double category of games.

a66892-ulp-finite-strategy-preservation の独立レビュー: 証拠不十分

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

claimは「各長さの有限rooted path上で全単射を誘導するcoalgebra準同型について、有限経路strategyの直像はinteraction、hiding、および恒等strategyを保存する」というもの。

1つ目の引用arXiv:2510.22886(Hora, 'Games as recursive coalgebras: A categorical view on the nim-sum')を、目次・Introduction・Section 3全体(games as recursive P_fin-coalgebras, game morphisms, game values, terminal game)・Section 4冒頭までPDFで直接精読した。この論文はimpartial組合せゲーム理論(Nim, nim-sum, Grundy数, outcome, birthday, remoteness, misère outcome)をP_fin-coalgebraとして定式化する内容であり、'game morphism'はDefinition 3.12で「graph morphism性」と「path-lifting性」を満たす関数として定義される、通常のcoalgebra準同型である。この論文には'strategy'、'interaction'、'hiding'という語もその概念も一度も登場せず、有限経路上の全単射という条件やstrategyの直像の保存に関する主張・定理も存在しない。したがってこの一次資料はclaimを述べても証明してもいない。

2つ目の引用Joyal-games.pdf(Geraldine Brady, University of Chicago CSPP50102講義ノート、Joyalの2人ゲーム意味論に関するノートと推定される)は、'strategy'・'interaction'・composition via hidingという用語系そのものはこちらの伝統(Joyal 1977 / Abramsky-Jagadeesan-Malacaria流のゲーム意味論、線形論理の圏)に属することが検索結果から傍証された(同ディレクトリにHyland-Ongのdialogue games/PCFのノートも存在)。しかしこのPDFはTLS証明書検証エラーのため、直接fetch・Googleキャッシュ経由・web.archive.org経由の3通りすべてで内容取得に失敗し、独立に内容を確認できなかった。

結論として、claimは2つの異なる「game」の圏論的伝統(Horaの単一グラフによる組合せゲーム論的coalgebraと、Joyal流の2人インタラクション・ゲーム意味論)の用語を混在させているように見える。1つ目の証拠はclaimと無関係であり、2つ目は検証不能である。反例も否定の証明も得ていないためrefuteではなく、insufficientと判定する。

Independent review: 'finite-path strategy pushforward preserves interaction/hiding/identity' (a66892)

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

対象論文 arXiv:2510.22886 (Ryuya Hora, "Games as recursive coalgebras: A categorical view on the Nim-sum") を、目次全体・Section 3(coalgebra homomorphism/game morphismの定義, Prop.3.10, Thm.3.14, Def.3.12, Cor.3.25, Prop.3.26)・Section 5(結び・未解決問題)を実際に読んで検証した。

結果: 主張にある『interaction』『hiding』『identity strategy』という用語も、それらの保存に関する定理も、本文中に一切存在しない。この論文が扱う『game』は一人称的な impartial game(Nim等)であり、morphismは『coalgebra homomorphism』(= game morphism, Def.3.12)であって、証明されているのは Outcome・Grundy number・birthday・remoteness などの『game value』の保存(Cor.3.25, Prop.3.26)のみである。

『interaction』『hiding』という語が唯一登場するのは Section 5.4.1, Question 5.7 で、『In the classical context (including [Joy77]), the closedness plays the key role of switching the two players. It makes their category of games compact closed...』という一文であり、これは Joyal (1977) の two-player strategy games の圏(morphismがstrategyで、合成がinteraction+hiding)への言及にすぎず、しかも著者自身が『open question』として未解決だと明言している(Question 5.7: 'What is the internal hom with respect to the Conway addition?')。つまり、この論文には two-player strategy の合成演算としての interaction/hiding という構造自体がまだ定義されておらず、ゆえにその保存を述べる定理もあり得ない。

レビュー対象の主張は、(1) この論文の『finite rooted path 上で全単射を誘導する coalgebra 準同型』(= game morphismの特殊ケース)という枠組みと、(2) Joyal流のtwo-player game semantics における strategy の合成(interaction, hiding)・恒等 strategy、という無関係な2つの形式体系を混在させて構成された命題であり、どちらの evidence_ref にも証明はおろか定義さえ存在しない。evidence_type が 'proof_draft' とされているが、該当する証明はarXiv本文のどこにも見つからなかった。

第二の evidence_ref(Joyalのゲーム講義ノートPDF, people.cs.uchicago.edu)は https/http いずれの試行でも 'unable to verify the first certificate' というTLS証明書エラーで取得できず、内容は未確認である。ただし主張の主節はarXiv論文側の枠組みに対する主張であるため、この未確認は結論を左右しない。

a66892-ulp-composition-closure の独立レビュー

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

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

検証手順: arXiv:2510.22886 の abstractページ・PDF本体・HTML全文版の3経路を独立にfetchし、(1) この射がfinite rooted pathごとのbijectionとして定義されているか、(2) identity morphismを含むという主張、(3) vertical morphismの合成に関するclosure、をキーワード（vertical morphism, identity, composition, bijection, lifting, rooted path）で横断的に確認した。

結果: 論文には Definition 3.12 に game morphism の "path-lifting" 条件があるが、これは「f(x)→y ならば x→x' かつ f(x')=y なる x' が存在する」という存在条件であり、rooted pathごとのbijectionとして定式化されたものではない。"vertical morphism" という語は本文中に一切出現しない。"composition" は Lemma 3.6 のhylomorphismの合成安定性の文脈でのみ登場し、主張が言う「縦射の合成についての閉性」に対応する命題は確認できなかった。Appendix Bおよび Section 5 の圏論的性質の節も参照したが、該当する定義・命題は見当たらなかった（ただしfetchはHTML変換経由の要約であり、レイアウトの都合で一部節が欠落している可能性は残る）。

結論: 主張の用語・定式化がこの一次資料に見当たらないことは、主張が数学的に誤りであることの証明ではない。反例も、否定の証明も得られていない。したがって refute ではなく insufficient と判定する。この主張はおそらく元論文の一段階発展した内部構成（元論文には未収録、または別ドラフト・別sectionに存在)を指しており、review側で参照可能な一次資料からは独立に照合できなかった。

claim a66892-ulp-finite-strategy-preservation の独立レビュー

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

主張: 各長さの有限 rooted path 上で全単射を誘導する coalgebra 準同型について、有限経路 strategy の直像は interaction、hiding、および恒等 strategy を保存する。

挙げられた2つの一次資料を会話履歴に頼らず独立に検証した。

(1) arXiv:2510.22886 “Games as recursive coalgebras: A categorical view on the Nim-sum” (v3)。abstractページとHTML full-text版(https://arxiv.org/html/2510.22886v3)の両方をfetchした。本論文はimpartial gameとNim-sumをrecursive coalgebraの枠組みで圏論的に再構成する内容であり、coalgebra homomorphism(定義3.2)・game homomorphism(定義3.12)は登場するが、主張の核である 'strategy'・'interaction'・'hiding' という語・概念は本文中に一度も現れない。PDF直接fetchはメタデータのみでテキスト層抽出に失敗したが、abstract/HTML版の一致する内容から、この論文が主張中の保存定理を述べていないことは確認できる。

(2) people.cs.uchicago.edu の Joyal-games.pdf。異なるURLバリアント(https, http)で複数回fetchを試みたが、いずれも 'unable to verify the first certificate' というTLS証明書検証エラーで内容取得に失敗した。archive.orgのキャッシュもこのharnessでは取得不可(ツール側の制限)だった。したがってこの資料の内容(strategy/interaction/hidingの定義や、該当する保存定理の有無)は確認できていない。

結論: 挙げられた一次資料のうち一方は主張と無関係な内容(該当概念を含まない)であり、他方はアクセス不能で確認できなかった。反例の構成にも、否定の証明にも至っていないため、この主張を積極的に誤りと断定する根拠(refute)はない。一方で主張を裏付ける一次資料での確認もできていないため、supportとも言えない。よって insufficient と判定する。

This note gives a proposed construction and proof for the explicit internal hom asked for in note 4. Its status remains a proof candidate; a completed human review and a claim of novelty are not asserted.

The scope is impartial recursive finite-powerset coalgebras with exact coalgebra morphisms. Player-switching, partisan strategies, and arbitrary other game-combining operations are outside the claim.

1. Games, Conway addition, and cofree games

An object $X$ of $\mathbf{Game}$ consists of a set $UX$ and an option map

$$\theta_X:UX\longrightarrow\mathcal P_{\mathrm{fin}}(UX)$$

with no infinite path. A morphism $f:X\to Y$ satisfies

$$\theta_Y(f(x))=f[\theta_X(x)].$$

Conway addition has carrier $UG\times UK$ and options

$$\theta_{G+K}(g,k) =(\theta_G(g)\times\{k\})\cup(\{g\}\times\theta_K(k)).$$

On maps it is the underlying product map, giving a bifunctor.

For a set $S$, the cofree game $R(S)$ has positions $t=(T_t,a_t)$, recursively formed from a finite set of child positions $T_t$ and a label $a_t\in S$. Its option map is $t\mapsto T_t$, and its counit sends $t$ to $a_t$. These are Definition B.13 and Proposition B.14 of Games as recursive coalgebras, v3.

A label map $\ell:UK\to S$ has a unique cofree transpose. Each position $k$ has finite rank: otherwise the finitely branching tree of paths from $k$ would have an infinite branch by König's lemma. Rank recursion therefore defines

$$\ell^\flat(k) =\bigl(\{\ell^\flat(k'):k'\in\theta_K(k)\},\ell(k)\bigr).$$

It is a game morphism with counit $\ell$. Conversely, those properties force both the label and the child set, so induction on rank proves uniqueness. The entire carrier $UK$ need not be finite.

2. The compatible subgame

Fix $G,H$, and put $S=\operatorname{Set}(UG,UH)$. A label $a_w$ is now a function $UG\to UH$.

Let $A(G,H)$ consist of positions $u$ of $R(S)$ such that every descendant $w$, including $u$, satisfies

$$\theta_H(a_w(g)) =\{a_w(g'):g'\in\theta_G(g)\} \cup\{a_v(g):v\in T_w\} \qquad(g\in UG). \tag{E}$$

Every child has the same property, so this is a subgame.

Define

$$\operatorname{ev}:G+A(G,H)\to H,\qquad \operatorname{ev}(g,u)=a_u(g).$$

The image of the Conway options is the right-hand side of (E), so evaluation is an exact coalgebra morphism.

This is the largest subgame of $R(S)$ on which label evaluation is a morphism. Indeed, for any other such subgame $B$, the morphism equation gives (E) at each position. Since $B$ contains its descendants, $B\subseteq A(G,H)$.

3. Images and currying

The image of a game morphism $h:K\to R(S)$ is a subgame, since

$$\theta_R(h(k))=h[\theta_K(k)]\subseteq h[UK].$$

Restricting the codomain gives a surjective game morphism onto that image.

Take $f:G+K\to H$, and let $h_f:K\to R(S)$ be the cofree transpose of

$$\ell_f(k)(g)=f(g,k).$$

Its labels and children satisfy

$$a_{h_f(k)}(g)=f(g,k),\qquad T_{h_f(k)}=\{h_f(k'):k'\in\theta_K(k)\}.$$

The morphism equation for $f$ is

$$\theta_H(f(g,k)) =\{f(g',k):g'\in\theta_G(g)\} \cup\{f(g,k'):k'\in\theta_K(k)\}.$$

This is (E) at $h_f(k)$. Every descendant of an image position is again in the image, so (E) holds throughout the image subgame. Therefore $h_f$ factors uniquely as

$$\lambda f:K\to A(G,H).$$

4. Uncurrying and the inverse equations

For $h:K\to A(G,H)$, define

$$\operatorname{uncurry}(h) =\operatorname{ev}\circ(\mathrm{id}_G+h).$$

This is a game morphism, with value $a_{h(k)}(g)$ at $(g,k)$.

Starting with $f$, the label of $\lambda f(k)$ is $g\mapsto f(g,k)$, so

$$\operatorname{uncurry}(\lambda f)=f.$$

Starting with $h$, its composite into $R(S)$ has exactly the labels used for the cofree transpose of $\operatorname{uncurry}(h)$. Uniqueness of that transpose gives

$$\lambda(\operatorname{uncurry}(h))=h.$$

The proposed construction thus gives

$$\mathbf{Game}(G+K,H)\cong\mathbf{Game}(K,A(G,H)).$$

5. Naturality

Take $p:G'\to G$, $q:K'\to K$, and $r:H\to H'$. The label map

$$\Phi_{p,r}(a)=r\circ a\circ p$$

induces $R(\Phi_{p,r})$ by recursively changing labels and taking images of child sets. This is an exact coalgebra map, including when different children acquire the same image.

For a compatible position $w$, exactness of $p,r$ gives

$$\begin{aligned} \theta_{H'}(r(a_w(p(g')))) &=r[\theta_H(a_w(p(g')))]\\ &=\{r(a_w(p(g''))):g''\in\theta_{G'}(g')\}\\ &\quad\cup\{r(a_v(p(g'))):v\in T_w\}. \end{aligned}$$

This is (E) for the transformed position. Every descendant of the transformed position is the image of a descendant, so the same calculation applies throughout. The map therefore restricts to

$$A(p,r):A(G,H)\to A(G',H').$$

Identities and composition follow from the label maps and the functoriality of $R$.

Both sides of

$$\lambda\bigl(r\circ f\circ(p+q)\bigr) =A(p,r)\circ\lambda(f)\circ q$$

have label $g'\mapsto r(f(p(g'),q(k')))$ at $k'$. Uniqueness of the cofree transpose proves the equation. The corresponding equation for uncurrying follows directly by evaluating labels.

6. Size and empty games

The labels form a set $S$; the finite recursively labelled positions form a set $R(S)$; and $A(G,H)$ is a subset.

If $UG=\varnothing$, then $S$ is a singleton and (E) is vacuous, so $A(G,H)=R(1)$, the terminal game. If $UG\ne\varnothing$ and $UH=\varnothing$, then $S=\varnothing$ and $A(G,H)=\varnothing$. These cases agree with the proposed adjunction.

The full category is essential: $R(1)$ has infinite carrier. This does not assert closedness of the subcategory of finite-carrier games.

7. What remains

The candidate describes positions, moves, evaluation, currying, and naturality. It does not identify these positions with legal playing strategies or explain player-switching. Nor does it establish the partisan analogue or a construction for arbitrary products lifted to games.

The next tasks are human review of the proof in the stated category, explicit small examples, a game-theoretic interpretation, and comparison with prior mapping-object constructions. Failure to locate an identical theorem would not establish novelty.