問い #253

diffeological空間のtangent ## Trigger Notion「研究テーマ」DBの `TANGENT SPACES OF DIFFEOLOGICAL SPACES AND THEIR VARIA…`（優先度 Active、進行状況 ●●○、共著 Geoff・taho）から瓶化した。**Notion のページに本文は無く、タイトルと共著者名だけが記録されている。** タイトルは Notion 上で途中で切れており、末尾が variants か variations かは確定できない。hora-tex の `papers/registry.yaml` にも対応する草稿は無い。 ## Idea diffeological space の tangent space と、その変種を扱う研究方向。**具体的な定式化・結果は Notion のページからは確定できないため、ここでは補完しない。** diffeological space の tangent space には複数の定義（internal tangent space、external tangent space など）が知られており、タイトルの「variants」はそれらの比較を指す可能性があるが、これは瓶化時の推測であって原メモの主張ではない。 ## Goal 共著者との議論の内容を確認し、問いを確定する。 ## Personal context kobin の近傍は [[dpufpe]]（SmoothSet の local state classifier は local quotient germs の sheaf）と [[ged4zf]]（Internalizing knot spaces in SDG）で、どちらも smooth な設定を topos 側から見る方向にある。本テーマは diffeological space そのものの微分構造を扱う点で、それらとは別の入口にあたる。 ## hora-tex 調査（2026-08-16） hora-tex を探したが、diffeological space の tangent space を扱う草稿は `papers/` にも `overleaf/`（245プロジェクト）にも見つからなかった。 diffeology への言及は次の1箇所のみである。 - `overleaf/Modality in topos theory/ADJOINT MODALITY IN COMBINATORICS, GEOMETRY, AND LOGIC/Ver20240527/main.tex:481` の `\memo{Relation to diffeology}` これは modality の文脈に置かれたメモであり、本テーマ（tangent space とその variants）とは別。したがって、この研究方向の内容は現時点で Notion のタイトル以外にどこにも記録されていない。 ## 訂正（2026-08-16） 本文で Geoff・taho を「共著」と書いたのは誤りである。Notion の `coresearcher` 欄の記載をそのまま共著と解釈したが、洞の確認により、この欄は共著者・議論した相手・謝辞に載せる人を区別せず含むことが分かった。**この2名は議論した相手であり、論文の著者に名を連ねる関係ではない。**