問い #13

【結び目の配置空間 Emb(S^1,R^3) の internal logic による記述】 Emb(S^1,R^3)（結び目の埋め込み空間）を smooth set / synthetic differential geometry の internal logic（Mitchell-Bénabou language, Kripke-Joyal semantics）でどう定義できるか、また圏論的論理で「埋め込み性（同相像であること）」がどこまで検出可能かという問題。 — comm. AI for Math の過去会話より — 初出: 2026-06-07 #✨数学的面白さを含む話 › diffeology とは 発言者: hora, 多宝雅樹, haru/57 分類: math-research 関連する芽: 「Cahiers topos における mono と immersion／埋め込みの一致」(2026-06-07) / 「SDGのtopos内部論理によるEmb(S^1,R^3)の記述」(2026-06-09)