Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: An embedding theorem for tangent categories   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.

30
The categories of this paper are: q-alg
20
The categories of this paper are: acc-phys
29
The categories of this paper are: funct-an
14
The categories of this paper are: math-ph
0
The categories of this paper are: hep-ph
31
The categories of this paper are: ao-sci
5
The categories of this paper are: gr-qc
16
The categories of this paper are: stat
8
The categories of this paper are: hep-ex
23
The categories of this paper are: solv-int
6
The categories of this paper are: astro-ph
17
The categories of this paper are: q-fin
27
The categories of this paper are: comp-gas
32
The categories of this paper are: atom-ph
3
The categories of this paper are: physics
15
The categories of this paper are: nucl-ex