4 papers
The formal theory of tangentads PART II
Marcello Lanfranchi
Tangent category theory is a well-established categorical framework for differential geometry. A long list of fundamental geometric constructions, such as the tangent bundle functo…
The formal theory of tangentads PART I
Marcello Lanfranchi
Tangent categories offer a categorical context for differential geometry, by categorifying geometric notions like the tangent bundle functor, vector fields, Euclidean spaces, vecto…
Tangentads: a formal approach to tangent categories
Marcello Lanfranchi
Tangent category theory is a well-established categorical context for differential geometry. In a previous paper, a formal approach was adopted to provide a genuine Grothendieck co…
Pullbacks in tangent categories and tangent display maps
Geoffrey Cruttwell, Marcello Lanfranchi
In differential geometry, the existence of pullbacks is a delicate matter, since the category of smooth manifolds does not admit all of them. When pullbacks are required, often sub…