An embedding theorem for tangent categories

    Research output: Contribution to journalArticlepeer-review

    5 Citations (Scopus)


    Tangent categories were introduced by Rosický 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 well-adapted 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.

    Original languageEnglish
    Pages (from-to)668-687
    Number of pages20
    JournalAdvances in Mathematics
    Publication statusPublished - 7 Jan 2018


    • enriched category
    • synthetic differential geometry
    • tangent category


    Dive into the research topics of 'An embedding theorem for tangent categories'. Together they form a unique fingerprint.

    Cite this