Related papers: Tangent bundles in differential lambda-categories

We define admissible and weakly admissible subcategories in exact categories and prove that the former induce semi-orthogonal decompositions on the derived categories. We develop the theory of thin exact categories, an exact-category…

In this paper, we study ideal quotients of triangulated categories by higher cluster tilting subcategories. Koenig and Zhu proved that the ideal quotient by a $2$-cluster tilting subcategory is an abelian category; moreover, by Morita's…

A group-category is an additively semisimple category with a monoidal product structure in which the simple objects are invertible. For example in the category of representations of a group, 1-dimensional representations are the invertible…

Suppose $\Lambda$ is a special biserial algebra over an algebraically closed field. Schr\"oer showed that if $\Lambda$ is domestic then the radical of the category of finitely generated (left) $\Lambda$-modules is nilpotent, and the least…

We introduce a simplified (coarse) version of pseudo-differential calculus for operators of order zero on complete Riemannian manifolds. This calculus works for the usual Hormander (1,0) class of operators, as well as for…

Let $\Lambda$ be an Artin algebra and let $e$ be an idempotent in $\Lambda$. We study certain functors which preserve the singularity categories. Suppose $\mathrm{pd}\Lambda e_{e\Lambda e}<\infty$ and…

Guided by consideration of problems in 2 and 3 dimensional lattice model computation, we are led to define a number of new categories, and functors between these categories and the partition category, culminating in the introduction of two…

We present a novel lambda calculus that casts the categorical approach to the study of quantum protocols into the rich and well established tradition of type theory. Our construction extends the linear typed lambda calculus with a linear…

Let $\Lambda$ be a numerical semigroup, $\mathcal{C}\subseteq \mathbb{A}^n$ the monomial curve singularity associated to $\Lambda$, and $\mathcal{T}$ its tangent cone. In this paper we provide a sharp upper bound for the least positive…

Manifolds with boundary and with corners form categories ${\bf Man}\subset{\bf Man^b}\subset{\bf Man^c}$. A manifold with corners $X$ has two notions of tangent bundle: the tangent bundle $TX$, and the b-tangent bundle ${}^bTX$. The usual…

Let \(\Lambda\) be a finite-dimensional Koszul algebra with Koszul dual \(\Lambda^!\). We establish derived Koszul dualities at the level of bounded derived categories, both in the graded setting \(\mathsf{D}^{b}(\Lambda\textup{-gmod})\)…

We show that the derived category of a curve is embedded into the derived category of the moduli space of vector bundles on the curve of coprime rank and degree. We also generalize the semiorthogonal decomposition constructed by Narasimhan…

We study a regular closure operator in the category of quandles. We show that the regular closure operator and the pullback closure operator corresponding to the reflector from the category of quandles to its full subcategory of trivial…

We introduce the notion of Lusternik-Schnirelmann category for differentiable stacks and establish its relation with the groupoid Lusternik-Schnirelmann category for Lie groupoids.

Categorical resolutions of singularities are a replacement of resolution of singularities within the realm of triangulated categories. They allow the study of the derived category of a singular variety $X$ via a triangulated category that…

This thesis provides an introduction to the various category theory ideas employed in topological quantum field theory. These theories are viewed as symmetric monoidal functors from topological cobordism categories into the category of…

The tube category of a modular tensor category is a variant of the tube algebra, first introduced by Ocneanu. As a category, it can be decomposed in two different, but related, senses. Firstly, via the Yoneda embedding, the Hom spaces…

We construct a family of rings. To a plane diagram of a tangle we associate a complex of bimodules over these rings. Chain homotopy equivalence class of this complex is an invariant of the tangle. On the level of Grothendieck groups this…

In this note, we show that the category of Latin (resp. commutative) medial quandles is equivalent to the category of affine modules over a certain Laurent polynomial ring (resp. the dyadic rationals). As applications, we describe free…

For a finite extension $F$ of $\mathbb{Q}_p$ and $n \geq 1$, we show that the category of Lubin-Tate bundles on the $(n-1)$-dimensional Drinfeld symmetric space is equivalent to the category of finite-dimensional smooth representations of…