合成微分节丛是约化的
微分几何
2026-01-23 v1 数学物理
范畴论
math.MP
摘要
我们先前观察到，偏微分方程解的理论，被视为节丛内的微分形，在从Fréchet光滑流形范畴过渡到形式光滑集（合成微分几何的一个良好适配模型）的Cahiers拓扑斯后，获得了一种强大的共单子表述。然而，这一过渡保持定义无穷节丛的投影极限这一默认假设一直未被证明。在此，我们提供一个详细的证明。
引用
@article{arxiv.2601.15862,
title = {Synthetic Differential Jet Bundles are Reduced},
author = {Grigorios Giotopoulos and Igor Khavkine and Hisham Sati and Urs Schreiber},
journal= {arXiv preprint arXiv:2601.15862},
year = {2026}
}
备注
16 pages