Related papers: Connections in Tangent Categories
We construct the Kuranishi spaces, or in other words, the versal deformations, for the following classes of connections with fixed divisor of poles $D$: all such connections, as well as for its subclasses of integrable, integrable…
The authors establish a relation of the theory of varieties with degenerate Gauss maps in projective spaces with the theory of congruences and pseudocongruences of subspaces and show how these two theories can be applied to the construction…
In a way similar to the continuous case formally, we define in different but equivalent manners the difference discrete connection and curvature on discrete vector bundle over the regular lattice as base space. We deal with the difference…
A general definition of a linear connection in noncommutative geometry has been recently proposed. Two examples are given of linear connections in noncommutative geometries which are based on matrix algebras. They both possess a unique…
Differential lambda-categories were introduced by Bucciarelli et al. as models for the simply typed version of the differential lambda-calculus of Ehrhard and Regnier. A differential lambda-category is a cartesian closed differential…
This paper presents a brief study on connections on fiber, principal and vector smooth bundles as well as some relations with their curvatures.
Local connection forms provide a very useful tool for handling connections on principal bundles, because they ignore any complexities of the total space and, essentially, involve only two fundamental features of the structure group, namely…
Relational structures are emerging as ubiquitous mathematical machinery in the semantics of open systems of various kinds. Cartesian bicategories are a well-known categorical algebra of relations that has proved especially useful in recent…
In this short note we give an elementary proof of the fact that connections and their geometric parallel-transport counterpart are equivalent notions.
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…
We make a systematic study of the focal surface of a congruence of lines in the projective space. Using differential techniques together with techniques from intersection theory, we reobtain in particular all the invariants of the focal…
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…
For a principal bundle $P\to M$ equipped with a connection ${\bar A}$, we study an infinite dimensional bundle ${\mathcal P}^{\rm dec}_{\bar A}P$ over the space of paths on $M$, with the points of ${\mathcal P}^{\rm dec}_{\bar A}P$ being…
We show that differential calculus (in its usual form, or in the general form of topological differential calculus) can be fully imdedded into a functor category (functors from a small category of anchord tangent algebras to anchored sets).…
One important class of tools in the study of the connections between algebraic and topological structures are the "Banach-Stone type theorems", which describe algebraic isomorphisms of algebras (or groups, lattices, etc.) of functions in…
This survey/expository article covers a variety of topics related to the "topology at infinity" of noncompact manifolds and complexes. In manifold topology and geometric group theory, the most important noncompact spaces are often…
Tangles of graphs have been introduced by Robertson and Seymour in the context of their graph minor theory. Tangles may be viewed as describing "k-connected components" of a graph (though in a twisted way). They play an important role in…
From descent theory to higher geometry, the idea of gluing has been embedded in many elegant and powerful techniques, proving instrumental for the solution of many problems. In this paper, we introduce a framework that allows to link…
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…
Differential geometry may be generalized to allow infinitesimals to any order. The purpose of the present contribution is to show that the theory so developed expands received geometrical ideas in an interesting way, rich in potential for…