Related papers: Infinitely Many Tangent Functors on Diffeological …

We study how the notion of tangent space can be extended from smooth manifolds to diffeological spaces, which are generalizations of smooth manifolds that include singular spaces and infinite-dimensional spaces. We focus on two definitions.…

Several methods have been proposed to define tangent spaces for diffeological spaces. Among them, the internal tangent functor is obtained as the left Kan extension of the tangent functor for manifolds. However, the right Kan extension of…

In this paper, we use some basic quasi-topos theory to study two functors: one adding infinitesimals of Fermat reals to diffeological spaces (which generalize smooth manifolds including singular spaces and infinite dimensional spaces), and…

A diffeological space is a set equipped with a smooth structure, known as a diffeology, which allows us to extend certain notions from manifolds to these more general spaces. We study a generalized notion of tangent space to a point of a…

We consider the class of profinite diffeological spaces, that is, diffeological spaces which diffeologies are deduced by pull-back of diffeologies on finite-dimensional manifolds through a system of projection mappings. This class includes…

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…

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.

We introduce a class of diffeological spaces, called elastic, on which the left Kan extension of the tangent functor of smooth manifolds defines an abstract tangent functor in the sense of Rosicky. On elastic spaces there is a natural…

We show that a diffeological bundle gives rise to an exact sequence of internal tangent spaces. We then introduce two new classes of diffeological spaces, which we call weakly filtered and filtered diffeological spaces, whose tangent spaces…

We review the basic definitions and properties concerning smooth structures, convenient spaces, diffeological spaces and tangent structures. The relation betwen them is described. A tangent structure is constructed for each pre-convenient…

The convenient setting for smooth mappings, holomorphic mappings, and real analytic mappings in infinite dimension is sketched. Infinite dimensional manifolds are discussed with special emphasis on smooth partitions of unity and tangent…

We consider one possible definition of a diffeological connection on a diffeological vector pseudo-bundle. It is different from the one proposed in [7] and is in fact simpler, since it is obtained by a straightforward adaption of the…

Recent discoveries in differential topology are reviewed in light of their possible implications for spacetime models and related subjects in theoretical physics. Although not often noted, a particular smoothness (differentiability)…

We show that on certain diffeological spaces there exist linear derivations that satisfy the Leibniz rule but are not smooth with respect to the given diffeology. This reveals that the notion of tangent space defined via all such…

This article is a summary of a series of papers to be published where I examine a special kind of geometric objects that can be defined in space-time --- five-dimensional tangent vectors. Similar objects exist in any other differentiable…

Diffeology extends differential geometry to spaces beyond smooth manifolds. This paper explores diffeology's key features and illustrates its utility with examples including singular and quotient spaces, and applications in symplectic…

We show how the tangent functor extends from ordinary smooth maps to "microformal morphisms" (also called "thick morphisms") of supermanifolds. Microformal morphisms generalize ordinary maps and correspond to formal canonical relations…

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…

We consider here the category of diffeological vector pseudo-bundles, and study a possible extension of classical differential geometric tools on finite dimensional vector bundles, namely, the group of automorphisms, the frame bundle, the…

In this series of papers I examine a special kind of geometric objects that can be defined in space-time --- five-dimensional tangent vectors. Similar objects exist in any other differentiable manifold, and their dimension is one unit…