Related papers: From Abelianization to Tangent Categories
We show how the tangent bundle decomposition generated by a system of ordinary differential equations may be generalized to the case of a system of second order PDEs `of connection type'. Whereas for ODEs the decomposition is intrinsic, for…
For a large class of geometric objects, the passage to categories of quasi-coherent sheaves provides an embedding in the 2-category of abelian tensor categories. The notion of weakly Tannakian categories introduced by the author gives a…
In this paper we provide a deep and systematic study of what it means to be an immersion, a submersion, a local diffeomorphism, and unramified in a tangent category. We also give a systematic study of the ways in which these classes of…
In the framework of Category Theory, we study the association between finite--dimensional representations of a compact quantum group and quantum vector bundles with linear connections for a given quantum principal bundle with a principal…
Given an abelian category, we introduce a categorical concept of (strongly) Gorenstein projective (resp., injective) objects, by defining a new special class of objects. Then we study the transfer of these properties when passing to an…
We define a bar construction endofunctor on the category of commutative augmented monoids $A$ of a symmetric monoidal category $\mathcal{V}$ endowed with a left adjoint monoidal functor $F:s\mathbf{Set}\to \mathcal{V}$. To do this, we need…
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…
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…
We show that the idempotent completion of an n-angulated category admits a unique n-angulated structure such that the inclusion is an n-angulated functor, which satisfies a universal property.
A dagger category is a category equipped with a functorial way of reversing morphisms, i.e. a contravariant involutive identity-on-objects endofunctor. Dagger categories with additional structure have been studied under different names e.g.…
A differential category is an additive symmetric monoidal category, that is, a symmetric monoidal category enriched over commutative monoids, with an algebra modality, axiomatizing smooth functions, and a deriving transformation on this…
We consider a pivotal monoidal functor whose domain is a modular tensor category (MTC). We show that the trace of such a functor naturally extends to a representation of the corresponding tube category. As irreducible representations of the…
Let C be a triangulated category with a Serre functor S and X a non-zero contravariantly finite rigid subcategory of C. Then X is cluster tilting if and only if the quotient category C/X is abelian and S(X)=X[2]. As an application, this…
For an abelian category, a category equivalent to its derived category is constructed by means of specific projective (injective) multicomplexes, the so-called homological resolutions.
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…
Graded bundles are a class of graded manifolds which represent a natural generalisation of vector bundles and include the higher order tangent bundles as canonical examples. We present and study the concept of the linearisation of graded…
In terms of category theory, the Gromov homotopy principle for a set valued functor $F$ asserts that the functor $F$ can be induced from a homotopy functor. Similarly, we say that the bordism principle for an abelian group valued functor…
The aim of section 1 is to define the homotopic functor to category of Abelian groups, connected with the special classes of bundles with fiber matrix algebra or projective space. The aim of section 2 is to define some generalization of the…
Cartesian differential categories are categories equipped with a differential combinator which axiomatizes the directional derivative. Important models of Cartesian differential categories include classical differential calculus of smooth…
In this article, we study the Gorenstein property of abelian quotient categories induced by fully rigid subcategories on an exact category B. We also study when d-cluster tilting subcategories become fully rigid. We show that the quotient…