Related papers: Connections in Tangent Categories
This paper is a short introduction to the theory of tangles, both in graphs and general connectivity systems. An emphasis is put on the correspondence between tangles of order k and k-connected components. In particular, we prove that there…
In this paper, we introduce the notion of a super tangent bundle of a manifold, and extend the basic notions of differential geometry such as differential forms, exterior derivation, connection, metric and divergence on manifolds that…
The local analysis is an established approach to the study of singularities and mobility of linkages. Key result of such analyses is a local picture of the finite motion through a configuration. This reveals the finite mobility at that…
We study a type of connection forms, given by Chen integrals, over pathspaces by placing such forms within a category-theoretic framework of principal bundles and connections. We introduce a notion of 'decorated' principal bundles, develop…
We investigate several categories related to transition structures, using a mixture of algebraic and topological methods. We show how two such categories are connected by a contravariant adjunction. This is the most detailed of a family of…
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 short Survey we revisit the subject of local, identity-tangent diffeomorphisms of $\doC$ and their analytic invariants, under two viewpoints: that of explicit expansions, which necessarily involve multitangents and multizetas; and…
In the main part of this paper a connection is just a fiber projection onto a (not necessarily integrable) distribution or sub vector bundle of the tangent bundle. Here curvature is computed via the Froelicher-Nijenhuis bracket, and it is…
A theory of principal bundles possessing quantum structure groups and classical base manifolds is presented. Structural analysis of such quantum principal bundles is performed. A differential calculus is constructed, combining differential…
In this part of the series five-dimensional tangent vectors are introduced first as equivalence classes of parametrized curves and then as differential-algebraic operators that act on scalar functions. I then examine their basic algebraic…
In differential geometry, the existence of pullbacks is a delicate matter, since the category of smooth manifolds does not admit all of them. When pullbacks are required, often submersions are employed as an ideal class of maps which…
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…
It is given the diffeomorphism classification on generic singularities of tangent varieties to curves with arbitrary codimension in a projective space. The generic classifications are performed in terms of certain geometric structures and…
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…
In a series of recent papers, we have introduced an object that was constructed on the connection but which was proven to be a tensor: this object, thus called tensorial connection, has been defined and some of its properties have been…
The presented work focuses on problems from determinant theory, set theory and topology. The term graph is the binding element that connects these problems. Graphs are distinguished by their geometrical simplicity, which helps in showing…
We develop a transitional geometry, that is, a family of geometries of constant curvatures which makes a continuous connec-tion between the hyperbolic, Euclidean and spherical geometries. In this transitional setting, several geometric…
By looking at decidable quotients, a sufficient condition is provided to guarantee that (1) the full subcategory of decidable objects of a topos is an exponential ideal and that (2) the classical notion of connectedness for an object $X$…
Transversal structures (also known as regular edge labelings) are combinatorial structures defined over 4-connected plane triangulations with quadrangular outer-face. They have been intensively studied and used for many applications…
We give an elegant formulation of the structure equations (of Cartan) and the Bianchi identities in terms of exterior calculus without reference to a particular basis and without the exterior covariant derivative. This approach allows both…