Related papers: Tangent bundles in differential lambda-categories
Let $\mathcal{M}$ be an $n$-cluster tilting subcategory of ${\rm mod}\mbox{-}\Lambda$, where $\Lambda$ is an artin algebra. Let $\mathcal{S}(\mathcal{M})$ denotes the full subcategory of $\mathcal{S}(\Lambda)$, the submodule category of…
The category of affine schemes is a tangent category whose tangent bundle functor is induced by K\"ahler differentials, providing a direct link between algebraic geometry and tangent category theory. Moreover, this tangent bundle functor is…
In this paper, we show that the category of Mackey-complete, separated, topological convex bornological vector spaces and bornological linear maps is a differential category. Such spaces were introduced by Fr\"olicher and Kriegl, where they…
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…
We explore some properties of wide subcategories of the category mod$\,(\Lambda)$ of finitely generated left $\Lambda$-modules, for some artin algebra $\Lambda.$ In particular we look at wide finitely generated subcategories and give a…
This paper explores a new perspective on the universality of the vertical lift in tangent categories by presenting a categorification of the dimension of smooth manifolds. The universality of the vertical lift is a key part of the axioms of…
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…
Tilting theory has been a very important tool in the classification of finite dimensional algebras of finite and tame representation type, as well as, in many other branches of mathematics. Happel [Ha] proved that generalized tilting…
Differential categories were introduced by Blute, Cockett, and Seely as categorical models of differential linear logic and have since lead to abstract formulations of many notions involving differentiation such as the directional…
We construct an internal language for cartesian closed bicategories. Precisely, we introduce a type theory modelling the structure of a cartesian closed bicategory and show that its syntactic model satisfies an appropriate universal…
The q-monopole bundle introduced previously is extended to a general construction for quantum group bundles with non-universal differential calculi. We show that the theory applies to several other classes of bundles as well, including…
We give an algebraic/geometric characterization of the classical pseudodifferential operators on a smooth manifold in terms of the tangent groupoid and its natural $\mathbb{R}^\times_+$-action. Specifically, we show that a properly…
Differential lambda-calculus was first introduced by Thomas Ehrhard and Laurent Regnier in 2003. Despite more than 15 years of history, little work has been done on a differential calculus with integration. In this paper, we shall propose a…
This paper focuses on defining an analog of differential-graded triangular matrix algebra in the context of differential-graded categories. Given two dg-categories $\mathcal{U}$ and $\mathcal{T}$ and $M \in \text{DgMod}(\mathcal{U} \otimes…
In our previous paper (arXiv:1306.5449) we have given a sufficient and necessary condition when the coupling between Lie algebra bundle (LAB) and the tangent bundle exists in the sense of Mackenzie (\cite{Mck-2005}, Definition 7.2.2) for…
For differential calculi over certain right coideal subalgebras of quantum groups the notion of quantum tangent space is introduced. In generalization of a result by Woronowicz a one to one correspondence between quantum tangent spaces and…
In this paper a bisingular pseudodifferential calculus, along the lines of the one introduced by L. Rodino in [12], is developed in the global setting of a product of compact Lie groups. The approach follows that introduced by M. Ruzhansky…
The concept of $\lambda$-differential operators is a natural generalization of differential operators and difference operators. In this paper, we determine the $\lambda$-differential Lie algebraic structure on the Witt algebra and the…
We establish the splitting principle for differential K-theory, a refinement of topological K-theory that incorporates geometric data via differential forms. Using this principle, we prove that the differential $K^0$-ring associated to…
We exhibit the cartesian differential categories of Blute, Cockett and Seely as a particular kind of enriched category. The base for the enrichment is the category of commutative monoids -- or in a straightforward generalisation, the…