Related papers: Pullbacks in tangent categories and tangent displa…

Principal bundles have at least three different definitions, depending on the category of geometric objects studied. In Differential Geometry, they are defined as locally trivial projection map of smooth manifolds with an atlas whose…

We develop a categorical framework for studying graphs of groups and their morphisms, with emphasis on pullbacks. More precisely, building on classical work by Serre and Bass, we give an explicit construction of the so-called…

We study two classes of morphisms in infinite type: tamely presented morphisms and morphisms with coherent pullback. These are generalizations of finitely presented morphisms and morphisms of finite Tor-dimension, respectively. The class of…

This article is dedicated to the study of the normal functor in the category of smooth real vector bundles. Particularly, we focus on a symmetry phenomena which occurs after iterating two times the normal functor on a commutative square of…

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…

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…

In category theory, monads, which are monoid objects on endofunctors, play a central role closely related to adjunctions. Monads have been studied mostly in algebraic situations. In this dissertation, we study this concept in some…

This paper studies the infinitesimal structure of Carnot manifolds. By a Carnot manifold we mean a manifold together with a subbundle filtration of its tangent bundle which is compatible with the Lie bracket of vector fields. We introduce a…

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…

Effective descent morphisms, originally defined in Grothendieck descent theory, form a class of special morphisms within a category. Essentially, an effective descent morphism enables bundles over its codomain to be fully described as…

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…

We show that the category of categories with pullbacks and pullback preserving functors is cartesian closed.

Distributions, i.e., subsets of tangent bundles formed by piecing together subspaces of tangent spaces, are commonly encountered in the theory and application of differential geometry. Indeed, the theory of distributions is a fundamental…

We define the pull-back of a smooth principal fibre bundle, and show that it has a natural principal fibre bundle structure. Next, we analyse the relationship between pull-backs by homotopy equivalent maps. The main result of this article…

This paper describes how to define and work with differential equations in the abstract setting of tangent categories. The key notion is that of a curve object which is, for differential geometry, the structural analogue of a natural number…

There is an abstract notion of connection in any tangent category. In this paper, we show that when applied to the tangent category of affine schemes, this recreates the classical notion of a connection on a module (and similarly, in the…

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…

We consider differentiable maps in the setting of Abstract Differential Geometry and we study the conditions that ensure the uniqueness of differentials in this setting. In particular, we prove that smooth maps between smooth manifolds…

In this paper we provide a deep and systematic study of what it means to be an immersion, a submersion, a local diffeomorphism, and unramified in a tangent category. We also give a systematic study of the ways in which these classes of…

The classical notion of retraction map used to approximate geodesics is extended and rigorously defined to become a powerful tool to construct geometric integrators and it is called discretization map. Using the geometry of the tangent and…