Related papers: Connections in Tangent Categories
A bounded curvature path is a continuously differentiable piecewise $C^2$ path with a bounded absolute curvature that connects two points in the tangent bundle of a surface. In this work, we analyze the homotopy classes of bounded curvature…
We develop parallel transport on path spaces from a differential geometric approach, whose integral version connects with the category theoretic approach. In the framework of 2-connections, our approach leads to further development of…
The characteristic forms in the bundle of connections of a principal bundle P over M determine the characteristic classes of P for degree less or equal to the dimension of M, and differential forms on the space of connections for higher…
We define a subcategory of the category of diffeological spaces, which contains smooth manifolds, the diffeomorphism subgroups and its coadjoint orbits. In these spaces we construct a tangent bundle, vector fields and a de Rham cohomology.
In this work we define and study the relations between Lorentzian Manifolds given by the diffeomorphisms which map causal future directed vectors onto causal future directed vectors. This class of diffeomorphisms, called proper causal…
Calculi of string diagrams are increasingly used to present the syntax and algebraic structure of various families of circuits, including signal flow graphs, electrical circuits and quantum processes. In many such approaches, the semantic…
We construct and study pushforwards of categorical connections on categorical principal bundles. Applying this construction to the case of decorated path spaces in principal bundles, we obtain a transformation of classical connections that…
Arboreal categories were introduced as an axiomatic framework for game comonads, which provide a comonadic view on many model-comparison games in logic. We demonstrate the inadequacy of the axiom stating that paths are connected. We then…
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…
In this review paper we discuss the different interpretations of the concept of connection in a fiber bundle and in a jet bundle, and relate it with first and second-order systems of partial differential equations (PDE's) and multivector…
In the present work we explore relationships between multiplicative functions defined in \cite{Garonzi_2018}, \cite{Lazorec}. To do so, we use other important quotients defined and studied in \cite{ndeg}, \cite{Marius}, thus establishing…
The notion of an odd quasi-connection on a supermanifold, which is loosely an affine connection that carries non-zero Grassmann parity, is examined. Their torsion and curvature are defined, however, in general, they are not tensors. A…
A quadrisecant line is one which intersects a curve in at least four points, while an essential secant captures something about the knottedness of a knot. This survey article gives a brief history of these ideas, and shows how they may be…
We give a differentially closed description of the uniformizing representation to the analytical apparatus on Riemann surfaces and orbifolds of finite analytic type. Apart from well-known automorphic functions and Abelian differentials it…
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 give an introduction to the transalgebraic theory of simply connected log-Riemann surfaces with a finite number of infinite ramification points (transalgebraic curves of genus $0$). We define the base vector space of transcendental…
We discuss various phenomena of tangency in projective and convex geometry.
This paper explores differential bundles in tangent categories, characterizing them as functors from a structure category. This is analogous to the actegory perspective of Garner and Leung, which we also use to describe the tangent…
We construct connection maps and linear symmetric connections on tangent and second-order tangent bundles for \fr manifolds using the notion of a spray. For these manifolds, we characterize linear symmetric connections on tangent bundles in…
Since the study of deep convolutional neural network became prevalent, one of the important discoveries is that a feature map from a convolutional network can be extracted before going into the fully connected layer and can be used as a…