On the boundedness of topological categories

Let K be a complete and cocomplete category with a given proper (E,M)-factorization. K is called well-bounded if K is moreover bounded with a generator and cowellpowered with respect to the given factorization. Freyd-Kelly proved the following theorem about well-bounded categories: Let K be a well-bounded category and let Γ be a class of cylinders in the small category C¹, and let all but a set of these cylinders be cones. Then Γ(C,K) is a reflective subcategory of [C,K]. The main results of this paper are: (I) If F: K→L is a Top-functor and L is well-bounded, then K is well-bounded. (II) If U is an E-reflective subcategory of a well-bounded category,then U is again wellbounded. As a corollary one obtains for instance that all coreflective and all epireflective subcategories of the category of topological spaces are well-bounded.     

Epireflective subcategories of Hausdorff categories

Let pHaus denote the category of Hausdorff spaces and p-maps, and let HCL denote the subcategory of pHaus consisting of H-closed spaces and continuous functions. It is well-known that HCL is an epireflective subcategory of pHaus. In this paper we characterize the epireflective subcategories of pHaus that contain HCL.     

Gorenstein范畴上的一个问题

设■是阿贝尔范畴,■是■的子范畴.Sather-Wagstaff, Sharif和White引入了Gorenstein子范畴的概念,记为■.我们用■(相应地,■)代表纯投射R-模类(相应地,投射R-模类).本文给出了一类满足条件"■"的环,由此给出了当■是■的子范畴时,■是否包含在■中的一个否定回答.进一步,刻画了包含关系■和■何时成立.     

From triangulated categories to abelian categories: cluster tilting in a general framework

A general framework for cluster tilting is set up by showing that any quotient of a triangulated category modulo a tilting subcategory (i.e., a maximal 1-orthogonal subcategory) carries an induced abelian structure. These abelian quotients turn out to be module categories of Gorenstein algebras of dimension at most one.      

Failure of Brown representability in derived categories

Let be a triangulated category with coproducts, the full subcategory of compact objects in . If is the homotopy category of spectra, Adams (Topology 10 (1971) 185–198), proved the following: All homological functors are the restrictions of representable functors on , and all natural transformations are the restrictions of morphisms in . It has been something of a mystery, to what extent this generalises to other triangulated categories. In Neeman (Topology 36 (1997) 619–645), it was proved that Adams’ theorem remains true as long as is countable, but can fail in general. The failure exhibited was that there can be natural transformations not arising from maps in . A puzzling open problem remained: Is every homological functor the restriction of a representable functor on ? In a recent paper, Beligiannis (Relative homological and purity in triangulated categories, 1999, preprint) made some progress. But in this article, we settle the problem. The answer is no. There are examples of derived categories of rings, and homological functors which are not restrictions of representables.     

Unexpected properties of locally presentable categories

Locally presentable categories are precisely those complete categories which have a small dense subcategory. Every subcategory of a locally presentable category (i) has a small dense subcategory, (ii) if it is closed under limits, then it is locally presentable and (iii) if it is closed under colimits, then it is coreflective. For density, canonical colimits can be substituted by arbitrary colimits.The above results hold under the assumption of the set-theoretical Vopenka's Principle; in fact, each of them is logically equivalent to that principle.In Memory of Evelyn NelsonPresented by Ervin Fried.     

Triangulated categories without models

We exhibit examples of triangulated categories which are neither the stable category of a Frobenius category nor a full triangulated subcategory of the homotopy category of a stable model category. Even more drastically, our examples do not admit any non-trivial exact functors to or from these algebraic respectively topological triangulated categories. Mathematics Subject Classification (1991) 18E30, 55P42     

m-循环复形范畴的Bridgeland-Hall代数的余代数结构

设A是一个遗传Abel范畴且■是A的投射对象构成的满子范畴.本文主要研究胁循环复形范畴C_m(■)的Bridgeland-Hall代数的余代数结构(其中m≥2).受Yanagida工作的启发,我们在C_m(■)上定义一个新的正合结构,由此得到了其Bridgeland-Hall代数的余代数结构.同时,证明了存在A的扩展Ringel-Hall代数到m-循环复形范畴C_m(■)的Bridgeland-Hall代数的余代数嵌入.     

Unifying two results of Orlov on singularity categories

Let \mathbbX\mathbb{X} be a separated Noetherian scheme of finite Krull dimension which has enough locally free sheaves of finite rank and let U í \mathbbXU\subseteq \mathbb{X} be an open subscheme. We prove that the singularity category of U is triangle equivalent to the Verdier quotient triangulated category of the singularity category of \mathbbX\mathbb{X} with respect to the thick triangulated subcategory generated by sheaves supported in the complement of U. The result unifies two results of Orlov. We also prove a noncommutative version of this result.     

Self-equivalences of stable module categories

Let P be an abelian p-group, E a cyclic -group acting freely on P and k an algebraically closed field of characteristic . In this work, we prove that every self-equivalence of the stable module category of comes from a self-equivalence of the derived category of . Work of Puig and Rickard allows us to deduce that if a block B with defect group P and inertial quotient E is Rickard equivalent to , then they are splendidly Rickard equivalent. That is, Broué's original conjecture implies Rickard's refinement of the conjecture in this case. All of this follows from a general result concerning the self-equivalences of the thick subcategory generated by the trivial module. Received January 22, 1998; in final form June 23, 1998     

关于余挠三元组的余星子范畴和余倾斜子范畴

设$\mathcal{A}$ 是一个Abel范畴,且 $(\mathcal{X}, \mathcal{Z},\mathcal{Y})$ 是一个完全遗传余挠三元组.介绍 $\mathcal{A}$ 的 $n$-$\mathcal{Y}$-余倾斜子范畴的定义,并给出 $n$-$\mathcal{Y}$-余倾斜子范畴的一个刻画,类似于 $n$-余倾斜模的 Bazzoni 刻画.作为应用,证明了在一个几乎 Gorenstein 环 $R$ 上, 如果 $\mathcal{GP}$ 是 $n$-$\mathcal{GI}$-余倾斜的, 那么 $R$ 是一个 $n$-Gorenstein 环, 其中 $\mathcal{GP}$ 表示 Gorenstein 投射 $R$-模组成的子范畴且 $\mathcal{GI}$ 表示 Gorenstein 内射 $R$-模组成的子范畴. 进而, 研究 任意环$R$上的$n$-余星子范畴, 以及关于余挠三元组 $(\mathcal{P}, R$-Mod, $\mathcal{I})$ 的 $n$-$\mathcal{I}$-子范畴与 $n$-余星子范畴之间的关系, 其中 $\mathcal{P}$ 表示投射左 $R$-模组成的子范畴且 $\mathcal{I}$ 表示内射左 $R$-模组成的子范畴.     

Right n-angulated categories arising from covariantly finite subcategories

We define right n-angulated categories, which are analogous to right triangulated categories. Let 𝒞 be an additive category and 𝒳 a covariantly finite subcategory of 𝒞. We show that under certain conditions, the quotient 𝒞∕[𝒳] is a right n-angulated category. This has immediate applications to n-angulated quotient categories.     

On equivalence of derived categories

Let A be an Abelian category and B be a thick subcategory of A. Let D ^b(B) denote the derived category of cohomologically bounded chain complexes of objects in A and D _B ^b (A) denote the derived category of cohomologically bounded chain complexes of objects in A with cohomology in B. We give two if and only if conditions for equivalence of D(B) and D _B ^b (A), and we give an example where D ^b (B) and D _B ^b (A) are not equivalent.     

Simultaneous representations in categories of algebras

Hedrlin and Pultr proved that every small category is isomorphic to a full subcategory of the category Alg (Δ) of all algebras of type Δ whenever the sum ∑Δ of their arities satisfies ∑Δ>2. This article deals with simultaneous representation in categories of algebras, a generalization of the related question: given a subcategory k′ of a small category k, when does there exist an extension Δ′ of a type Δ with ∑Δ?2 such that k′ is a full subcategory of Alg(Δ′) while the Alg (Δ)-redacts of algebras representing k′ determine a category isomorphic to k? We characterize simultaneous representability by algebras and their reducts completely, and show that it is closely related to Isbell's dominion. A consequence of the main result states that algebraically representable pairs (k′, k) of one-object categories k′ k are exactly those for which k′ coincides with its dominion in k, and provides an alternative characterization of the dominion. Simultaneous representability by partial algebras is not subject to any such restriction.     

Protolocalisations of homological categories

A protolocalisation of a homological (resp. semi-abelian) category is a regular full reflective subcategory, whose reflection preserves short exact sequences. We study the closure operator and the torsion theory associated with such a situation. We pay special attention to the fibered, the regular epireflective and the monoreflective cases. We give examples in algebra, topos theory and functional analysis.     

相对于子范畴的同伦分解的存在性

本文证明了在相对于子范畴的情形下上有界复形的同伦分解的存在性,推广了经典的复形的同伦分解,是使得相对导出范畴具有可操作性的基础.进一步,证明了在R-模范畴和相对于特殊子范畴的情形下,任意无界复形的同伦分解的存在性.最后,建立了同伦范畴和相对导出范畴的(余)局部化序列.     

Spanier–Whitehead Categories of Resolving Subcategories and Comparison with Singularity Categories

Algebras and Representation Theory - Let $\mathcal {A}$ be an abelian category with enough projective objects, and let $\mathcal {X}$ be a quasi-resolving subcategory of $\mathcal {A}$ . In this...     

Singularity categories and singular equivalences for resolving subcategories

Let \(\mathcal {X}\) be a resolving subcategory of an abelian category. In this paper we investigate the singularity category \(\mathsf {D_{sg}}(\underline{\mathcal {X}})=\mathsf {D^b}({\mathsf {mod}}\,\underline{\mathcal {X}})/\mathsf {K^b}({\mathsf {proj}}({\mathsf {mod}}\,\underline{\mathcal {X}}))\) of the stable category \(\underline{\mathcal {X}}\) of \(\mathcal {X}\). We consider when the singularity category is triangle equivalent to the stable category of Gorenstein projective objects, and when the stable categories of two resolving subcategories have triangle equivalent singularity categories. Applying this to the module category of a Gorenstein ring, we prove that the complete intersections over which the stable categories of resolving subcategories have trivial singularity categories are the simple hypersurface singularities of type \((\mathsf {A}_1)\). We also generalize several results of Yoshino on totally reflexive modules.     

Closed structures on categories of topological spaces

The category of all topological spaces and continuous maps and its full subcategory of all T_o-spaces admit (up to isomorphism) precisely one structure of symmetric monoidal closed category (see [2]). In this paper we shall prove the same result for any epireflective subcategory of the category of topological spaces (particularly e.g. for the categories of Hausdorff spaces, regular spaces, Tychonoff spaces).     

Partially traced categories

This paper deals with questions relating to Haghverdi and Scott’s notion of partially traced categories. The main result is a representation theorem for such categories: we prove that every partially traced category can be faithfully embedded in a totally traced category. Also conversely, every symmetric monoidal subcategory of a totally traced category is partially traced, so this characterizes the partially traced categories completely. The main technique we use is based on Freyd’s paracategories, along with a partial version of Joyal, Street, and Verity’s Int-construction.