問い #263

Universal Enrichment of Cat ## Trigger Notion「研究テーマ」DBの `Universal Enrichment of Cat`（優先度 Active、進行状況 ○○○、共著 Hayato Nasu・Richard Garner）から瓶化した。**Notion のページに本文は無く、タイトルと共著者名だけが記録されている。** 進行状況 ○○○ は未着手を示す。hora-tex の `papers/registry.yaml` にも対応する草稿は無い。 ## Idea \(\mathbf{Cat}\) の universal な enrichment を問う研究方向。**具体的な定式化は Notion のページからは確定できないため、ここでは補完しない。** ## Goal 共著者との議論の内容を確認し、問いを確定する。 ## Personal context Richard Garner は [[gqyqbc]]（local state classifier と copower objects の直接の関係）でも、Peter Johnstone と独立にその問いを尋ねた人物として登場する。 ## hora-tex 調査（2026-08-16） 洞の示唆により hora-tex を探したところ、**草稿が存在した**。 - `overleaf/The universal enrichment on the category of categories/FirstVersion.tex`（31,344 bytes） Notion 側の進行状況は ○○○（未着手）と記録されているが、実際には草稿が書かれている。Notion の記録が実態より古い。 🔴 共著（Hayato Nasu・Richard Garner）のため、**内容はこの瓶に写さない。** 中身を見るときは上の tex を直接読む。 ## 訂正（2026-08-16） 本文で Hayato Nasu・Richard Garner を「共著」と書いたのは誤りである。Notion の `coresearcher` 欄の記載をそのまま共著と解釈したが、洞の確認により、この欄は共著者・議論した相手・謝辞に載せる人を区別せず含むことが分かった。**この2名は議論した相手であり、論文の著者に名を連ねる関係ではない。** したがって上に書いた「共著のため内容を写さない」という理由づけは正確でない。ただし草稿の内容をこの瓶へ写さない方針自体は変えない——中身を見るときは `overleaf/The universal enrichment on the category of categories/FirstVersion.tex` を直接読む。