Related papers: Differential bundles as functors from free modules
We build a tangent structure on the category of divided power algebras using a particular notion of semidirect product. We show that this tangent structure admits an adjoint tangent structure, which involves a version of K\"ahler…
A constructive approach to differential calculus on quantum principal bundles is presented. The calculus on the bundle is built in an intrinsic manner, starting from given graded (differential) *-algebras representing horizontal forms on…
We define a class of morphisms between \'etale groupoids and show that there is a functor from the category with these morphisms to the category of $C^*$-algebras. We show that all homomorphisms between Cartan pairs of $C^*$-algebras that…
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…
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…
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…
It is constructed the functor from category of product linear space to category of skew-symmetric tensor space. It is defined and described the bound bundle as analog of a symplex and as basis element of new constructive homology theory.
A equivalence relation, preserving the Chern-Weil form, is defined between connections on a complex vector bundle. Bundles equipped with such an equivalence class are called Structured Bundles, and their isomorphism classes form an abelian…
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…
Following the pattern from linear logic, the coKleisli category of a differential category is a Cartesian differential category. What then is the coEilenberg-Moore category of a differential category? The answer is a tangent category! A key…
We describe dual notions of tangent bundle for an infinity-topos, each underlying a tangent infinity-category in the sense of Bauer, Burke and the author. One of those notions is Lurie's tangent bundle functor for presentable…
In the framework of Category Theory, we study the association between finite--dimensional representations of a compact quantum group and quantum vector bundles with linear connections for a given quantum principal bundle with a principal…
This paper provides a compositional approach to Taylor expansion, in the setting of cartesian differential categories. Taylor expansion is captured here by a functor that generalizes the tangent bundle functor to higher order derivatives.…
We continue the program of structural differential geometry that begins with the notion of a tangent category, an axiomatization of structural aspects of the tangent functor on the category of smooth manifolds. In classical geometry, having…
In this note we highlight a common origin for many ubiquitous geometric structures, as well as several new ones by using only the functors of differential calculus in A.M Vinogradov's original sense, adapted to special classes of (graded)…
A categorical principal bundle is a structure comprised of categories that is analogous to a classical principal bundle; examples arise from geometric contexts involving bundles over path spaces. We show how a categorical principal bundle…
The category of small covariant functors from simplicial sets to simplicial sets supports the projective model structure. In this paper we construct various localizations of the projective model structure and also give a variant for…
It has recently been proved that the category of N-manifolds of degree $n$, that is, $\mathbb N$-graded supermanifolds of degree $n$ for which the parity agrees with the gradation, is equivalent to the category of purely even $n$-tuple…
This paper studies the homotopy theory of parameterized spectrum objects in a model category from a global point of view. More precisely, for a model category $\mathcal{M}$ satisfying suitable conditions, we construct a relative model…
The aim of this paper is to construct singular equivalences between functor categories. As a special case, we show that there exists a singular equivalence arising from a cotilting module $T$, namely, the singularity category of $(^\perp…