Subfactor Categories of Triangulated Categories

Let 𝒳 ? 𝒜 be subcategories of a triangulated category 𝒯, and 𝒳 a functorially finite subcategory of 𝒜. If 𝒜 has the properties that any 𝒳-monomorphism of 𝒜 has a cone and any 𝒳-epimorphism has a cocone, then the subfactor category 𝒜/[𝒳] forms a pretriangulated category in the sense of [4 Beligiannis , A. , Reiten , I. ( 2007 ). Homological and Homotopical Aspects of Torsion Theories . Memoirs of the AMS 883 : 426 – 454 . [Google Scholar]]. Moreover, the above pretriangulated category 𝒜/[𝒳] with 𝒯(𝒳, 𝒳[1]) = 0 becomes a triangulated category if and only if (𝒜, 𝒜) forms an 𝒳-mutation pair and 𝒜 is closed under extensions.     

n-exact Categories Arising from n-exangulated Categories

Let ■ be a Krull-Schmidt n-exangulated category and ■ be an n-extension closed subcategory of ■.Then ■ inherits the n-exangulated structure from the given n-exangulated category in a natural way.This construction gives n-exangulated categories which are neither n-exact categories in the sense of Jasso nor(n+2)-angulated categories in the sense of Geiss-Keller-Oppermann in general.Furthermore,we also give a sufficient condition on when an n-exangulated category ■ is an n-exact category.These resu...     

Cartesian Differential Categories as Skew Enriched Categories

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 category of modules over a commutative rig k. However, the tensor product on this category is not the usual one, but rather a warping of it by a certain monoidal comonad Q. Thus the enrichment base is not a monoidal category in the usual sense, but rather a skew monoidal category in the sense of Szlachányi. Our first main result is that cartesian differential categories are the same as categories with finite products enriched over this skew monoidal base. The comonad Q involved is, in fact, an example of a differential modality. Differential modalities are a kind of comonad on a symmetric monoidal k-linear category with the characteristic feature that their co-Kleisli categories are cartesian differential categories. Using our first main result, we are able to prove our second one: that every small cartesian differential category admits a full, structure-preserving embedding into the cartesian differential category induced by a differential modality (in fact, a monoidal differential modality on a monoidal closed category—thus, a model of intuitionistic differential linear logic). This resolves an important open question in this area.

     

Recollements of Singularity Categories and Monomorphism Categories

We generalize results on existence of recollement situations of singularity categories of lower triangular Gorenstein algebras and stable monomorphism categories of Cohen–Macaulay modules.     

One-Side Derived Categories of Pre-Strict $P$-Semi-Abelian Categories

In this paper, we study a class of $P$-semi-abelian categories, as well as left and right cohomological functors. Then we establish the corresponding one-side derived categories.     

Directed Algebraic Topology,Categories and Higher Categories

Directed Algebraic Topology is a recent field, deeply linked with Category Theory. A ‘directed space’ has directed homotopies (generally non reversible), directed homology groups (enriched with a preorder) and fundamental n-categories (replacing the fundamental n-groupoids of the classical case). On the other hand, directed homotopy can give geometric models for lax higher categories. Applications have been mostly developed in the theory of concurrency. Unexpected links with noncommutative geometry and the modelling of biological systems have emerged. Work partially supported by MIUR Research Projects.     

Hopf Categories

We introduce Hopf categories enriched over braided monoidal categories. The notion is linked to several recently developed notions in Hopf algebra theory, such as Hopf group (co)algebras, weak Hopf algebras and duoidal categories. We generalize the fundamental theorem for Hopf modules and some of its applications to Hopf categories.     

Localization in Abelian Categories

We construct a generic Hall algebra of the Kronecker algebra and prove that its twisted version is a polynomial algebra in infinitely many variables over the twisted generic composition algebra. The variables are explicitly given as some central elements in the generic Hall algebra.

Thus, we obtain generic versions in the Kronecker case of theorems by Hua-Xiao and Sevenhant-Van den Bergh.     

Curves in Grothendieck Categories

Noncommutative projective geometry studies noncommutative graded rings by replacing the variety by a suitable Grothendieck category. One way of studying the resulting category is to examine the full subcategories which behave like curves on a commutative variety. Smith and Zhang initiated such a study by considering the subcategory generated by a particular type of module they called a pure curve module in good position. This paper generalizes their construction by allowing more general modules. The resulting category is shown to be categorically equivalent to a quotient of the category of graded modules over a graded ring. In the course of defining the category equivalence, several dimensions, including projective, injective and Krull dimensions, are calculated. In particular, this extension allows examination of the category created from a line module over more general AS-regular rings than those considered by Smith and Zhang. For instance, suppose that C is a generic line module over R _d , Stafford's Sklyanin-like algebra. Let C denote the category C generates. Then C is equivalent to the category of graded k[x, y]/(x ² – y ²) modules under the Z × Z/2Z-grading where deg(x) = (–1, 0) and deg(y) = (–1,1).     

Determinants in Triangulated Categories

For a small triangulated category , Bass's K ₁ group is described, and the theorem of the heart is proved. We define the determinant map from to Neeman's , and we compute this map when is the derived category of an Abelian category .     

Balance in Stable Categories

We study when the stable category ${\mathcal A}/\langle{\mathcal T}\rangleWe study when the stable category A/áT?{\mathcal A}/\langle{\mathcal T}\rangle of an abelian category A{\mathcal A} modulo a full additive subcategory T{\mathcal T} is balanced and, in case T{\mathcal T} is functorially finite in A{\mathcal A}, we study a weak version of balance for A/áT?{\mathcal A}/\langle{\mathcal T}\rangle. Precise necessary and sufficient conditions are given in case T{\mathcal T} is either a Serre class or a class consisting of projective objects. The results in this second case apply very neatly to (generalizations of) hereditary abelian categories.     

Automorphic Objects in Categories

Siberian Mathematical Journal -     

Azumaya Categories

We define the notions of Azumaya category and Brauer group in category theory enriched over some very general base category V. We prove the equivalence of various definitions, in particular in terms of separable categories or progenerating bimodules. When V is the category of modules over a commutative ring R with unit, we recapture the classical notions of Azumaya algebra and Brauer group and provide an alternative, purely categorical treatment of those theories. But our theory applies as well to the cases of topological, metric or Banach modules, to the sheaves of such structures or graded such structures, and many other examples.     

Duality Categories

We define the notion of duality categories as generalization of duality groups. Two examples are treated. The first is the Serre duality in the categories of strict polynomial functors. The second concerns finite complexes. We show in particular that finite Tits buildings are duality categories.     

Subtractive Categories

We introduce a notion of a subtractive category. It generalizes the notion of a pointed subtractive variety of universal algebras in the sense of A. Ursini. Subtractive categories are closely related to Mal’tsev and additive categories: (i) a category C with finite limits is a Mal’tsev category if and only if for every object X in C the category Pt(X)=((X,1_X)↓(C↓X)) of “points over X” is subtractive; (ii) a pointed category C with finite limits is additive if and only if C is subtractive and half-additive.Mathematics Subject Classifications (2000) 18C99, 18E05, 08B05.     

Measurable Categories

We develop the theory of categories of measurable fields of Hilbert spaces and bounded fields of operators. We examine classes of functors and natural transformations with good measure theoretic properties, providing in the end a rigorous construction for the bicategory used in [3] and [4] as the basis for a representation theory of (Lie) 2-groups. Two important technical results are established along the way: first it is shown that all invertible additive bounded functors (and thus a fortiori all invertible *-functors) between categories of measurable fields of Hilbert spaces are induced by invertible measurable transformations between the underlying Borel spaces and second we establish the distributivity of Hilbert space tensor product over direct integrals over Lusin spaces with respect to σ-finite measures. The paper concludes with a general definition of measurable bicategories.     

Relative Regular Objects in Categories

We define the concept of a regular object with respect to another object in an arbitrary category. We present basic properties of regular objects and we study this concept in the special cases of abelian categories and locally finitely generated Grothendieck categories. Applications are given for categories of comodules over a coalgebra and for categories of graded modules, and a link to the theory of generalized inverses of matrices is presented. Some of the techniques we use are new, since dealing with arbitrary categories allows us to pass to the dual category.      

Exceptional Pairs in Hereditary Categories

We study the category 𝒞(X, Y) generated by an exceptional pair (X, Y) in a hereditary category ?. If r = dim _k Hom(X, Y) ≥ 1 we show that there are exactly 3 possible types for 𝒞(X, Y), all derived equivalent to the category of finite dimensional modules mod(H _r ) over the r-Kronecker algebra H _r . In general 𝒞(X, Y) will not be equivalent to a module category. More specifically, if ? is the category of coherent sheaves over a weighted projective line 𝕏, then 𝒞(X, Y) is equivalent to the category of coherent sheaves on the projective line ?¹ or to mod(H _r ) and, if 𝕏 is wild, then every r ≥ 1 can occur in this way.