Related papers: Diffeological connections on diffeological vector …
Motivated by problems in which data are given over covering generating families, we suggest a new cohomology theory for diffeological spaces, called diffeological \v{C}ech cohomology, which is an exact $ \partial $-functor of the section…
Diffeological spaces are generalizations of smooth manifolds. In this paper, we study the homotopy theory of diffeological spaces. We begin by proving basic properties of the smooth homotopy groups that we will need later. Then we introduce…
We explore several notions of $k$-form at a point in a diffeological space, construct bundles of such $k$-forms, and compare sections of these bundles to differential forms. As they are defined locally, our $k$-forms can contain more…
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…
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…
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…
We study tangent spaces in the setting of diffeological spaces. Several distinct tangent functors have been introduced, each of which extends the classical tangent functor from smooth manifolds. In this paper, we construct infinitely many…
We consider the notion of the De Rham operator on finite-dimensional diffeological spaces such that the diffeological counterpart \Lambda^1(X) of the cotangent bundle, the so-called pseudo-bundle of values of differential 1-forms, has…
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…
Parallel transport of a connection in a smooth fibre bundle yields a functor from the path groupoid of the base manifold into a category that describes the fibres of the bundle. We characterize functors obtained like this by two notions we…
We prove that smooth 1-dimensional topological field theories over a manifold are equivalent to vector bundles with connection. The main novelty is our definition of the smooth 1-dimensional bordism category, which encodes cutting laws…
In this note we make use of some properties of vector fields on a manifold to give an alternate proof to [3] for the equivalence between connections and parallel transport on vector bundles over manifolds. Out of the proof will emerge a new…
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…
We define a diffeology on the Milnor classifying space of a diffeological group $G$, constructed in a similar fashion to the topological version using an infinite join. Besides obtaining the expected classification theorem for smooth…
In this paper, we study diffeological spaces as certain kinds of discrete simplicial presheaves on the site of cartesian spaces with the coverage of good open covers. The \v{C}ech model structure on simplicial presheaves provides us with a…
We study the relationship between many natural conditions that one can put on a diffeological vector space: being fine or projective, having enough smooth (or smooth linear) functionals to separate points, having a diffeology determined by…
We extend the theory of diffeomorphism-invariant spin network states from the real-analytic category to the smooth category. Suppose that G is a compact connected semisimple Lie group and P -> M is a smooth principal G-bundle. A `cylinder…
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…
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…
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…