An embedding theorem for tangent categories

DOI10.1016/j.aim.2017.10.039zbMath1430.18007arXiv1704.08386OpenAlexW2610246755MaRDI QIDQ1682009

Richard Garner

Publication date: 28 November 2017

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1704.08386

zbMATH Keywords

synthetic differential geometryenriched categorytangent category

Mathematics Subject Classification ID

Differentiable manifolds, foundations (58A05) Enriched categories (over closed or monoidal categories) (18D20) Abstract manifolds and fiber bundles (category-theoretic aspects) (18F15)

Related Items

A simplicial foundation for differential and sector forms in tangent categories ⋮ Flexibly graded monads and graded algebras ⋮ Unnamed Item ⋮ Contravariance through enrichment ⋮ Affine geometric spaces in tangent categories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Plethystic algebra
• Enriched categories as a free cocompletion
• Enrichment through variation
• Arithmetic analogues of derivations
• Categories of representations of coalgebroids
• The differential lambda-calculus
• Differential structure, tangent structure, and SDG
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas (Quatrième partie). Rédigé avec la colloboration de J. Dieudonné
• A reflection theorem for closed categories
• Categories of continuous functors. I
• Convenient categories of smooth spaces
• Tensor categorical foundations of algebraic geometry
• Coalgebras and cartesian categories
• On closed categories of functors
• Representable Functors and Operations on Rings