Related papers: Differential bundles and fibrations for tangent ca…
We construct a new category of vector spaces which contains both the standard category of vector spaces and Grassmannians. Its space of objects classifies vector bundles, its space of morphisms classifies bundle isomorphisms, and it can be…
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…
We use the terms $\infty$-categories and $\infty$-functors to mean the objects and morphisms in an $\infty$-cosmos: a simplicially enriched category satisfying a few axioms, reminiscent of an enriched category of fibrant objects.…
In this paper we define and study pseudoholomorphic vector bundles structures, particular cases of which are tangent and normal bundle almost complex structures. These are intrinsically related to the Gromov D-operator. As an application we…
Parseval frames can be thought of as redundant or linearly dependent coordinate systems for Hilbert spaces, and have important applications in such areas as signal processing, data compression, and sampling theory. We extend the notion of a…
We introduce Manifold tensor categories, which make precise the notion of a tensor category with a manifold of simple objects. A basic example is the category of vector spaces graded by a Lie group. Unlike classic tensor category theory,…
In this paper the relation between the choice of a differential structure and a smooth connection in the tangential bundle is discussed. For the case of an exotic $S^7$ one obtains corrections to the curvature after the change of the…
We introduce and examine the notion of principal $\mathbb{Z}_2^n$-bundles, i.e., principal bundles in the category of $\mathbb{Z}_2^n$-manifolds. The latter are higher graded extensions of supermanifolds in which a $\mathbb{Z}_2^n$-grading…
We describe the structure of diffeological bundle of non formal classical pseudo-differential operators over formal ones, and its structure group. For this, we give few results on diffeological principal bundles with (a priori) no local…
A pedagogical but concise overview of fiber bundles and their connections is provided, in the context of gauge theories in physics. The emphasis is on defining and visualizing concepts and relationships between them, as well as listing…
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…
A stratified bundle is a fibered space in which strata are classical bundles and in which attachment of strata is controlled by a structure category of fibers. Well known results on fibre bundles are shown to be true for stratified bundles;…
This is the first paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In this paper, we lay the foundations for this study by introducing the…
Discrete vector bundles are important in Physics and recently found remarkable applications in Computer Graphics. This article approaches discrete bundles from the viewpoint of Discrete Differential Geometry, including a complete…
In this paper we show that a uniruled manifold with a split tangent bundle admits almost holomorphic fibrations that are related to the splitting. We analyse these fibrations in detail in several special cases, this yields new results about…
We discover a fundamental exterior differential system of Riemannian geometry; indeed, an intrinsic and invariant global system of differential forms of degree $n$ associated to any given oriented Riemannian manifold $M$ of dimension $n+1$.…
A tortile (or ribbon) category defines invariants of ribbon (framed) links and tangles. We observe that these invariants, when restricted to links, string links, and more general tangles which we call turbans, do not actually depend on the…
In this paper, we define a generalization of indexed categories and contextual categories which we call contextually indexed (contextual) categories. While contextual categories are models of ordinary type theories, contextually indexed…
We show that the category of affine bundles over a smooth manifold M is equivalent to the category of affine spaces modelled on projective finitely generated C^\infty(M)-modules. Using this equivalence of categories, we are able to give an…
Fibrations over a category $B$, introduced to category theory by Grothendieck, encode pseudo-functors $B^{op} \rightsquigarrow {\bf Cat}$, while the special case of discrete fibrations encode presheaves $B^{op} \to {\bf Set}$. A two-sided…