Related papers: Differential bundles as functors from free modules

Affine schemes can be understood as objects of the opposite of the category of commutative and unital algebras. Similarly, $\mathscr{P}$-affine schemes can be defined as objects of the opposite of the category of algebras over an operad…

We point out that double categories provide a natural setting for modular functors obtained by a (bicategorical) string-net construction: The source of the modular functor -- which is now a double functor -- is a symmetric monoidal double…

We construct a functor from the category of oriented tangles in R^3 to the category of Hermitian modules and Lagrangian relations over Z[t,t^{-1}]. This functor extends the Burau representations of the braid groups and its generalization to…

In this paper we show that if $\mathscr{C}$ is a tangent category then the Ind-category $\operatorname{Ind}(\mathscr{C})$ is a tangent category as well with a tangent structure which locally looks like the tangent structure on…

We give an introduction to constructive category theory by answering two guiding computational questions. The first question is: how do we compute the set of all natural transformations between two finitely presented functors like…

Categorical bundles provide a natural framework for gauge theories involving multiple gauge groups. Unlike the case of traditional bundles there are distinct notions of triviality, and hence also of local triviality, for categorical…

Tangent category theory is a well-established categorical context for differential geometry. In a previous paper, a formal approach was adopted to provide a genuine Grothendieck construction in the context of tangent categories by…

Let $G$ be a finite group. In [HTW], Hambleton, Taylor and Williams have considered the question of comparing Mackey functors for $G$ and biset functors defined on subgroups of $G$ and bifree bisets as morphisms. This paper proposes a…

We show that the category of affine bundles over a smooth manifold M is equivalent to the category of affine spaces modelled on projective finitely generated C^\infty(M)-modules. Using this equivalence of categories, we are able to give an…

The Fa\`a di Bruno construction, introduced by Cockett and Seely, constructs a comonad $\mathsf{Fa{\grave{a}}}$ whose coalgebras are precisely Cartesian differential categories. In other words, for a Cartesian left additive category…

We establish a calculus of differences for taut endofunctors of the category of sets, analogous to the classical calculus of finite differences for real valued functions. We study how the difference operator interacts with limits and…

We consider two principal bundles of embeddings with total space $Emb(M,N),$ with structure groups $Diff(M)$ and $Diff_+(M),$ where $Diff_+(M)$ is the groups of orientation preserving diffeomorphisms. The aim of this paper is to describe…

We study tangent spaces in the setting of diffeological spaces. Several distinct tangent functors have been introduced, each of which extends the classical tangent functor from smooth manifolds. In this paper, we construct infinitely many…

Differential categories provide the categorical foundations for the algebraic approaches to differentiation. They have been successful in formalizing various important concepts related to differentiation, such as, in particular,…

Let $X$ be a smooth algebraic variety over $k$. We prove that any flat quasicoherent sheaf on $\operatorname{Ran}(X)$ canonically acquires a D-module structure. In addition, we prove that, if the geometric fiber $X_{\overline{k}}$ is…

We extend Deligne's notion of determinant functor to tensor triangulated categories. Specifically, to account for the multiexact structure of the tensor, we define a determinant functor on the 2-multicategory of triangulated categories and…

Let $R$ be a commutative unital ring. We construct a category $\mathcal{C}_R$ of fractions $X/G$, where $G$ is a finite group and $X$ is a finite $G$-set, and with morphisms given by $R$-linear combinations of spans of bisets. This category…

We show under suitable finiteness conditions that a functor between abelian categories induces a (not necessarily additive) map between their Grothendieck groups. This is related to the derived functors of Dold and Puppe, and generalizes a…

We establish a correspondence between modules and spans of algebras within a general monoidal 2-category $\mathfrak{C}$. Specifically, for an algebra $A$ in $\mathfrak{C}$, we construct a normalized lax 3-functor from the 2-category of…

Additive categories play a fundamental role in mathematics and related disciplines. Given an additive category equipped with a biadditive functor, one can construct its category of extensions, which encodes important structural information.…