問い #250

tropical lex exactness ## Trigger Garner–Lack の lex colimits を \(\mathbb N_\infty=(\mathbb N\cup\{\infty\},\ge,+,0)\)-enriched categories で考える話から．\(\mathbb N_\infty\)-Cat では有限極限側が max 型，weighted colimit 側が min-plus 型に見えるので，lex exactness が tropical algebra 的な交換法則として記述できる可能性がある． ## Idea Garner–Lack の \(\Phi\)-exactness を \(\mathbb N_\infty\)-enriched setting に持ち上げ，指定された finite weights に対する weighted colimits と finite limits の exactness を具体計算する．まず有限 \(\mathbb N_\infty\)-category / finite weights に限定し，finite limit が \(\max\) と induced submetric，weighted colimit が \(\inf(+ )\) で記述されることから，exactness 条件を tropical identities として抽出できるか調べる． 最初の問い： 1. \(\mathbb N_\infty\)-Cat における「finite weight」の適切な定義は何か． 2. 代表的な lex-colimit doctrines（regular / exact / extensive / adhesive 等）の enriched analogue は何を要求するか． 3. その条件は \(\max\) と \(\min,+\) の distributivity / residuation / tropical convexity の既知条件に一致するか． ## Goal lex colimits と tropical / metric geometry の間に実質的な橋を作る．単なる比喩ではなく，Garner–Lack exactness の具体的 enriched model として tropical algebra が現れる定理を得たい．最初の成果物として「finite \(\mathbb N_\infty\)-weights と finite-limit interaction」の小ノートを狙う． ## Personal context \(\mathbb N_\infty\)-valued weights，Garner–Lack lex colimits，enriched category theory への最近の関心から生じた．有限状態系・automata・weighted systems との接続も将来的に調べたい．