Related papers: Pullbacks in tangent categories and tangent displa…

Poincar\'e maps and suspension flows are examples of fundamental constructions in the study of dynamical systems. This study aimed to show that these constructions define an adjoint pair of functors if categories of dynamical systems are…

In a previous work, the authors introduced the notion of `coherent tangent bundle', which is useful for giving a treatment of singularities of smooth maps without ambient spaces. Two different types of Gauss-Bonnet formulas on coherent…

We show how the tangent bundle decomposition generated by a system of ordinary differential equations may be generalized to the case of a system of second order PDEs `of connection type'. Whereas for ODEs the decomposition is intrinsic, for…

We study pullback from a topological viewpoint with emphasis on pullback of covering maps. We generalize a triad of Quillen on properties of the pullback functor.

We define a new perverse t-exact pullback operation on derived categories of constructible sheaves which generalizes most perverse t-exact functors in sheaf theory, such as microlocalization, the Fourier-Sato transform and vanishing cycles.…

In this survey article we introduce the notion of frontals, which provides a class of generalised submanifolds with singularities but with well-defined tangent spaces. We present a review of basic theory and known studies on frontals in…

We generalise the construction of the Lie algebroid of a Lie groupoid so that it can be carried out in any tangent category. First we reconstruct the bijection between left invariant vector fields and source constant tangent vectors based…

The unprecedented pace of machine learning research has lead to incredible advances, but also poses hard challenges. At present, the field lacks strong theoretical underpinnings, and many important achievements stem from ad hoc design…

We define a subcategory of the category of diffeological spaces, which contains smooth manifolds, the diffeomorphism subgroups and its coadjoint orbits. In these spaces we construct a tangent bundle, vector fields and a de Rham cohomology.

In the present paper, we establish the uniqueness of tangent maps for general weakly holomorphic and locally approximable maps from an arbitrary almost complex manifold into projective algebraic varieties. As a byproduct of the approach and…

In this paper we intend to give some calculus rules for tangent sets in the sense of Bouligand and Ursescu, as well as for corresponding derivatives of set-valued maps. Both first and second order objects are envisaged and the assumptions…

For any holomorphic mapping $f\colon X\to Y$ between a complex manifold $X$ and a complex Hermitian manifold $Y$ we extend the pullback $f^*$ from smooth forms to a class of currents. We provide a basic calculus for this pullback and show…

We define a simplicial category called the category of derived manifolds. It contains the category of smooth manifolds as a full discrete subcategory, and it is closed under taking arbitrary intersections in a manifold. A derived manifold…

A notion of differentiability is being proposed for maps between Wasserstein spaces of order 2 of smooth, connected and complete Riemannian manifolds. Due to the nature of the tangent space construction on Wasserstein spaces, we only give a…

Many branches of theoretical and applied mathematics require a quantifiable notion of complexity. One such circumstance is a topological dynamical system - which involves a continuous self-map on a metric space. There are many notions of…

In this paper we study the reduced and unreduced $L^{q,p}$-cohomology groups of manifolds of bounded geometry and their behavior under uniform maps. A \textit{uniform map} is a uniformly continuous map such that the diameter of the preimage…

We describe the indecomposable components of the tangent bundle of the punctual Hilbert scheme of a smooth projective surface. As an application, we prove a recent conjecture about classification of products of punctual Hilbert schemes of…

Determinantal varieties -- the sets of bounded-rank matrices or tensors -- have attracted growing interest in low-rank optimization. The tangent cone to low-rank sets is widely studied and underpins a range of geometric methods. The…

In this paper, we define the pullback crossed modules in the category of racks which mainly based on a pullback diagram of rack morphisms with extra crossed module data on some of its arrows. Furthermore we prove that the conjugation…

Cartesian differential categories were introduced to provide an abstract axiomatization of categories of differentiable functions. The fundamental example is the category whose objects are Euclidean spaces and whose arrows are smooth maps.…