Related papers: Two-dimensional parallel transport : combinatorics…
We generalize the notion of parallel transport along paths for abelian bundles to parallel transport along surfaces for abelian gerbes using an embedded Topological Quantum Field Theory (TQFT) approach. We show both for bundles and gerbes…
This paper contains some contributions to the study of the relationship between 2-categories and the homotopy types of their classifying spaces. Mainly, generalizations are given of both Quillen's Theorem B and Thomason's Homotopy Colimit…
We introduce an optimal transport topology on the space of probability measures over a fiber bundle, which penalizes the transport cost from one fiber to another. For simplicity, we illustrate our construction in the Euclidean case…
In this article we define and investigate a notion of parallel transport on finite projective modules over finite matrix algebras. Given a derivation-based differential calculus on the algebra and a connection on the module, we construct…
The paper is devoted to introduce some notions extending the unique path lifting property from a homotopy viewpoint and to study their roles in the category of fibrations. First, we define some homotopical kinds of the unique path lifting…
We show that, for a right exact functor from an abelian category to abelian groups, Yoneda's isomorphism commutes with homology and, hence, with functor derivation. Then we extend this result to semiabelian domains. An interpretation in…
A concise discussion of the axiomatic approach to the concept of parallel transport is presented. Attention is drawn to a bijective map between the sets of connections and (axiomatically defined) parallel transports. The transports along…
The general problem for consistency between arbitrary transports along paths in fibre bundles and bundle morphisms between them is formulated and investigated. The special case of one fibre bundle, its morphism and transport along paths…
The theory of linear transports along paths in vector bundles, generalizing the parallel transports generated by linear connections, is developed. The normal frames for them are defined as ones in which their matrices are the identity…
Generalizing a definition of homotopy fiber products of model categories, we give a definition of the homotopy limit of a diagram of left Quillen functors between model categories. As has been previously shown for homotopy fiber products,…
We introduce and develop the theory of spectral networks in real contact and symplectic topology. First, we establish the existence and pseudoholomorphic characterization of spectral networks for Lagrangian fillings in the cotangent bundle…
We define affine transport lifts on the tangent bundle by associating a transport rule for tangent vectors with a vector field on the base manifold. The aim is to develop tools for the study of kinetic/ dynamical symmetries in relativistic…
We develop a differential geometric framework for parallel transport over path spaces and a corresponding discrete theory, an integrated version of the continuum theory, using a category-theoretic framework.
Secondary homotopy groups supplement the structure of classical homotopy groups. They yield a track functor on the track category of pointed spaces compatible with fiber sequences, suspensions and loop spaces. They also yield algebraic…
Given a functor $p:E \rightarrow B$ and an object $e \in E$ , we define a \emph{displacement} of $e$ along a morphism $\varepsilon: p(e) \rightarrow b$, as a map $e \rightarrow \nabla_\varepsilon(e)$ satisfying a universal property analogue…
We prove that the category of abelian gerbes with connection over a smooth manifold is equivalent to a certain category of principal bundles over the free loop space. These bundles are equipped with a connection and with a "fusion" product…
Constructions of spectra from symmetric monoidal categories are typically functorial with respect to strict structure-preserving maps, but often the maps of interest are merely lax monoidal. We describe conditions under which one can…
A category N of labeled (oriented) trivalent graphs (nets) or ribbon graphs is extended by new generators called fusing, braiding, twist and switch with relations which can be called Moore--Seiberg relations. A functor to N is constructed…
We develop a purely set-theoretic formalism for binary trees and binary graphs. We define a category of binary automata, and display it as a fibred category over the category of binary graphs. We also relate the notion of binary graphs to…
A new category $\mathfrak{dp}$, called of dynamical patterns addressing a primitive, nongeometrical concept of dynamics, is defined and employed to construct a $2-$category $2-\mathfrak{dp}$, where the irreducible plurality of species of…