Related papers: Differential bundles as functors from free modules

For a vertex operator algebra $V$, one may naturally define spaces of conformal blocks following a construction of Frenkel-Ben-Zvi generalized by Damiolini-Gibney-Tarasca. If $V$ is strongly rational, these spaces of conformal blocks form…

We pursue the study of Ultracategories initiated by Makkai and more recently Lurie by looking at properties of Ultracategories of complete metric structures, i.e. coming from continuous model theory, instead of ultracategories of models of…

This work is the first in a series of papers that, among other things, extends the formalism of diolic differential calculus, wherein a new context for obtaining differential calculus in vector bundles was established. Here we provide a…

We construct the categories of standard vector bundles over schemes and define direct sum and tensor product. These categories are equivalent to the usual categories of vector bundles with additional properties. The tensor product is…

The Grothendieck construction establishes an equivalence between fibrations, a.k.a. fibred categories, and indexed categories, and is one of the fundamental results of category theory. Cockett and Cruttwell introduced the notion of…

The notion of a categorical quotient can be generalized since its standard categorical concept does not recover the expected quotients in certain categories. We present a more general formulation in the form of $\mathcal{F}$-quotients in a…

We show that the fundamental quandle defines a functor from the oriented tangle category to a suitably defined quandle category. Given a tangle decomposition of a link $L$, the fundamental quandle of $L$ may be obtained from the fundamental…

Perhaps the most important contribution of gauge theory to general mathematics is to point out the importance of association functors. Emphasizing category theory we characterize association functors by two of their natural properties and…

From certain triangle functors, called non-negative functors, between the bounded derived categories of abelian categories with enough projective objects, we introduce their stable functors which are certain additive functors between the…

E. Bunch, P. Lofgren, A. Rapp and D. N. Yetter [J. Knot theory Ramifications (2010)] pointed out that by considering inner automorphism groups of quandles, one have a functor from the category of quandles with surjective homomorphisms to…

Several authors have recently constructed characteristic classes for classes of infinite rank vector bundles appearing in topology and physics. These include the tangent bundle to the space of maps between closed manifolds, the infinite…

Parallel transport of a connection in a smooth fibre bundle yields a functor from the path groupoid of the base manifold into a category that describes the fibres of the bundle. We characterize functors obtained like this by two notions we…

We pose a new algebraic formalism for studying differential calculus in vector bundles. This is achieved by studying various functors of differential calculus over arbitrary graded commutative algebras (DCGCA) and applying this language to…

We prove that Ringel duality in the category of strict polynomial functors can be interpreted as derived functors of non-additive functors (in the sense of Dold and Puppe). We give applications of this fact for both theories.

Type families on higher inductive types such as pushouts can capture homotopical properties of differential geometric constructions including connections, curvature, and vector fields. We define a class of pushouts based on simplicial…

We define functorial isomorphisms of parallel transport along etale paths for a class of G-principal bundles on a p-adic curve where G is a connected reductive algebraic group of finite presentation. This class consists of all principal…

The tensor functor from the category of $A_\infty$-algebras into the category of differential modules with $\infty$-simplicial faces is constructed. Further, it is showed that this functor sends homotopy equivalent $A_\infty$-algebras into…

We construct a functor valued invariant of oriented tangles on certain singular blocks of category O. Parabolic subcategories of these blocks categorify tensor products of various fundamental sl(k) representations. Projective functors…

We introduce a category of noncommutative bundles. To establish geometry in this category we construct suitable noncommutative differential calculi on these bundles and study their basic properties. Furthermore we define the notion of a…

The tangent bundle $T^kM$ of order $k$, of a smooth Banach manifold $M$ consists of all equivalent classes of curves that agree up to their accelerations of order $k$. In the previous work of the author he proved that $T^kM$, $1\leq k\leq…