Related papers: Differential bundles as functors from free modules

Tangent categories are categories equipped with a tangent functor: an endofunctor with certain natural transformations which make it behave like the tangent bundle functor on the category of smooth manifolds. They provide an abstract…

A tangent category is a category equipped with an endofunctor that satisfies certain axioms which capture the abstract properties of the tangent bundle functor from classical differential geometry. Cockett and Cruttwell introduced…

A tangent category is a categorical abstraction of the tangent bundle construction for smooth manifolds. In that context, Cockett and Cruttwell develop the notion of differential bundle which, by work of MacAdam, generalizes the notion of…

In this paper, we explain how the abstract notion of a differential bundle in a tangent category provides a new way of thinking about the category of modules over a commutative ring and its opposite category. MacAdam previously showed that…

A tangent category is a category with an endofunctor, called the tangent bundle functor, which is equipped with various natural transformations that capture essential properties of the classical tangent bundle of smooth manifolds. In this…

At the heart of differential geometry is the construction of the tangent bundle of a manifold. There are various abstractions of this construction, and this paper seeks to compare two of them: Synthetic Differential Geometry (SDG) and…

Differential lambda-categories were introduced by Bucciarelli et al. as models for the simply typed version of the differential lambda-calculus of Ehrhard and Regnier. A differential lambda-category is a cartesian closed differential…

Tangent categories provide an axiomatic framework for understanding various tangent bundles and differential operations that occur in differential geometry, algebraic geometry, abstract homotopy theory, and computer science. Previous work…

We make precise the analogy between Goodwillie's calculus of functors in homotopy theory and the differential calculus of smooth manifolds by introducing a higher-categorical framework of which both theories are examples. That framework is…

Tangent category theory is a well-established categorical framework for differential geometry. A long list of fundamental geometric constructions, such as the tangent bundle functor, vector fields, Euclidean spaces, and vector bundles have…

Tangent categories provide an axiomatic approach to key structural aspects of differential geometry that exist not only in the classical category of smooth manifolds but also in algebraic geometry, homological algebra, computer science, and…

Tangent categories offer a categorical context for differential geometry, by categorifying geometric notions like the tangent bundle functor, vector fields, Euclidean spaces, vector bundles, connections, etc. In the last decade, the theory…

Tangent categories provide a categorical axiomatization of the tangent bundle. There are many interesting examples and applications of tangent categories in a variety of areas such as differential geometry, algebraic geometry, algebra, and…

This paper explores a new perspective on the universality of the vertical lift in tangent categories by presenting a categorification of the dimension of smooth manifolds. The universality of the vertical lift is a key part of the axioms of…

We give an account, in terms of fibered categories and their fibrewise duals, of aspects of the theory of bundle functors and star-bundle functors in differential geometry.

We show that differential calculus (in its usual form, or in the general form of topological differential calculus) can be fully imdedded into a functor category (functors from a small category of anchord tangent algebras to anchored sets).…

The category of affine schemes is a tangent category whose tangent bundle functor is induced by K\"ahler differentials, providing a direct link between algebraic geometry and tangent category theory. Moreover, this tangent bundle functor is…

We study several structure aspects of functor categories from a small additive category to a module category, in particular the category F(A,K) of functors from finitely generated free modules over a commutative ring A to vector spaces over…

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 submersions are employed as an ideal class of maps which…

The aim of this work is to lay the foundations of differential geometry and Lie theory over the general class of topological base fields and -rings for which a differential calculus has been developed in recent work (collaboration with H.…