An embedding theorem for tangent categories

DOI10.1016/J.AIM.2017.10.039MaRDI QIDQ1682009zbMATH OpenOpenAlexFDO

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

enriched category synthetic differential geometry tangent category

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

Abstract: Tangent categories were introduced by Rosicky as a categorical setting for differential structures in algebra and geometry; in recent work of Cockett, Crutwell and others, they have also been applied to the study of differential structure in computer science. In this paper, we prove that every tangent category admits an embedding into a representable tangent category---one whose tangent structure is given by exponentiating by a free-standing tangent vector, as in, for example, any model of Kock and Lawvere's synthetic differential geometry. The key step in our proof uses a coherence theorem for tangent categories due to Leung to exhibit tangent categories as a certain kind of enriched category.

Recommendations

Cites work

Cited in

(10)

This page was built for publication: An embedding theorem for tangent categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1682009)