arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2007.11708math.CTmath.DG
收藏

光滑流形范畴中的向量丛与微分丛

Vector bundles and differential bundles in the category of smooth manifolds

Benjamin MacAdam

摘要:

切范畴是一个配备有一个满足某些公理的内函子的范畴,这些公理从经典微分几何中捕捉到了切丛函子的抽象性质。Cockett和Cruttwell在2017年引入了微分丛,作为任意正切范畴中向量丛的代数替代。本文证明了光滑流形范畴中的微分丛恰是向量丛。特别是,这意味着我们可以给出向量丛的一个特征,将它们作为正切范畴本质代数理论的模型。

英文摘要:

A tangent category is a category equipped with an endofunctor that satisfies certain axioms which capture the abstract properties of the tangent bundle functor from classical differential geometry. Cockett and Cruttwell introduced differential bundles in 2017 as an algebraic alternative to vector bundles in an arbitrary tangent category. In this paper, we prove that differential bundles in the category of smooth manifolds are precisely vector bundles. In particular, this means that we can give a characterisation of vector bundles that exhibits them as models of a tangent categorical essentially algebraic theory.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑