# Hereditary Uniserial Categories with Serre Duality

Abstract: An abelian Krull-Schmidt category is said to be uniserial if the isomorphism classes of subobjects of a given indecomposable object form a linearly ordered poset. In this paper, we classify the hereditary uniserial categories with Serre duality. They fall into two types: the first type is given by the representations of the quiver A n with linear orientation (and infinite variants thereof), the second type by tubes (and an infinite variant). These last categories give a new class of hereditary categories with Serre duality, called big tubes.

Topics: Serre duality (62%), Indecomposable module (52%), Quiver (51%), Abelian group (51%), Isomorphism (51%)

## Summary (1 min read)

Jump to: [1. Introduction] – [2. Preliminaries] – [3. Grothendieck categories and tubes] – [4. Big tubes] – [6. Some properties of uniserial categories] and [7. Description and classification by 2-colimits]

### 1. Introduction

- The authors will fix an algebraically closed field k, and will only consider k-linear categories.
- The uniserial hereditary length categories with only finitely many simple objects have been classified in [1] (see also [8, 9, 12]).
- The authors main motivation for introducing and studying big tubes comes from the following.
- The author also gratefully acknowledges the financial and administrative support of the Hausdorff Center for Mathematics in Bonn.

### 2. Preliminaries

- The authors will assume all categories are k-linear for an algebraically closed field k.
- An abelian Ext-finite category is thus automatically also Hom-finite.
- The authors wish to advice the reader to not confuse the set indA with the category IndA of ind-objects mentioned below.
- For easy reference, the authors will combine these results in a proposition.

### 3. Grothendieck categories and tubes

- In the proof of their main theorem, the authors wil be interested in functors between categories without injectives.
- The authors will recall some definitions about pseudocompact algebras and coalgebras, following the exposition in [26] closely.
- The categories Comod−C and PC(A) are dual.
- Let A,B be Grothendieck categories of finite type.

### 4. Big tubes

- A category together with this action has been called a Z+-category in [10].
- The indecomposable objects of nilp Ãn are easily understood.
- The authors may sketch this situation as in Figure 2 where they follow the conventions of [22, 23, 28] and draw Auslander-Reiten components of the form ZA∞ and ZA ∞ ∞ as triangles and squares, respectively.
- This functor induces a restriction functor modcfp k̂Z → mod kQ.

### 6. Some properties of uniserial categories

- This property is self-dual, thus the dual of an abelian hereditary uniserial category with Serre duality is again an abelian hereditary uniserial category with Serre duality.
- The proof of Proposition 6.11 goes in different steps.
- Let A be an indecomposable Ext-finite abelian hereditary uniserial category with Serre duality.
- (1) All peripheral objects are simple, also known as Then the following hold.
- (3) The middle term of every Auslander-Reiten sequence has at most two direct summands.

### 7. Description and classification by 2-colimits

- Let A be a small hereditary uniserial category with Serre duality.
- Let A be an Ext-finite hereditary uniserial category with Serre duality.
- The last statement follows from Proposition 6.5.
- Again, the authors will fix such an isomorphism and identify Hom(I(S), I(T )) with k[[x]].

Did you find this useful? Give us your feedback

...read more

arXiv:1011.6077v1 [math.CT] 28 Nov 2010

HEREDITARY UNISERIAL CATEGORIES WITH SERRE DUALITY

ADAM-CHRISTIAAN VAN ROOSMALEN

Abstract. An abelian Krull-Schmidt category is said to be uniserial if the isomorphism classes

of subobjects of a given indecomposable object form a linearly ordered poset. In this paper,

we classify the hereditary uniserial categories with Serre duality. They fall into two types: the

ﬁrst type is given by the representations of the quiver A

n

with linear orientation (and inﬁnite

variants thereof), the second type by tubes (and an inﬁnite variant). These last categories give

a new class of hereditary categories wi th Serre duality, called big tubes.

Contents

1. Introduction 1

2. Preliminarie s 3

3. Grothendieck categories and tubes 5

4. Big tubes 10

5. Paths in hereditary categories 14

6. Some properties of uniserial categories 15

7. Description and classiﬁcation by 2-colimits 19

References 23

1. Introduction

We will ﬁx an algebraically closed ﬁeld k, and will only consider k-linear categories. We will

say that a Hom-ﬁnite abelian category A is uniserial if for every indecomposable X ∈ Ob A the

sub objects of X are linear ly ordered by inclusion. The uniserial hereditary length categories with

only ﬁnitely many (nonisomorphic) simple objects have been classiﬁed in [1] (see also [8, 9, 12]).

Theorem 1.1. Let A be a hereditary uniserial length category with ﬁnitely many isomorphism

classes of simple objects, then A is equivalent to either

• the category rep

k

A

n

of ﬁnite dimensional represent ations of the quiver A

n

with linear

orientation, or

• the category nilp

k

˜

A

n

of ﬁnite dimensional nilpotent representations of the quiver

˜

A

n

with

cyclic orientation.

Categorie s of the second type will be referred to as tubes. We wish to replace the condition

on the length of the objects by the exis tence of a Serre functor. Note that the two cla sses of

categories mentioned above do have Se rre duality, so that the exis tence of a Ser re functor is a

(strictly) weaker condition. Our main result is the following (Theorem 7.13 in the text).

Theorem 1.2. Let A be an essentially small k-linear u niserial hereditary category with Serre

duality. Then A is equivalent to one of the following

(1) the category rep

cfp

L of ﬁnitely presented and coﬁnitely presented representations of L

where L is a locally discrete linearly ordered poset, either without minimal or maximal

elements, or with both a minimal and a maximal element, or

(2) a (big) tube.

2010 Mathematics Subject Classiﬁcation. 18E10, 16G30.

1

2 ADAM-CHRISTIAAN VAN ROOSMALEN

We refer to §4 for deﬁnitions. Categories of the ﬁrst type have been introduced in [28] (see also

[22]); they are dire cted and generalize categories of the form rep A

n

with n ∈ N. Every object in

rep

cfp

L is ﬁnitely presented (it is the cokernel of a map between ﬁnitely generated projectives in

Rep L) a nd is coﬁnitely presented (it is the kernel of a map between ﬁnitely cogenerated injectives

in Rep L). When L has a minimal and a maximal element, then rep

cfp

L

∼

=

rep L and they

are equivalent to category of ﬁnitely presented representations of a thread quiver

·

P

//

·

for

a linearly ordered poset P, possibly empty (s ee [3] for the deﬁnition of a thread quiver and its

representations.).

A big tube is an inﬁnite generalization of a tube (A deﬁnition is given in §4). It is not a length

category and ha s inﬁnitely many isomorphism classes of indecomposable s imple objects. Every

indecomposable object in a big tube lies in a subcategory of the form nilp

k

˜

A

n

and thus (ro ughly

speaking) we may see a big tube as a union of its s ubtubes. T his approach (to c onsider a big tube

as a ﬁltered 2-colimit of tubes) will be taken in §7 to ﬁnish the proof of Theorem 1.2.

We do not know of any mention of big tubes in the literature, and thus believe these to be a

new type of hereditary c ategories with Serre duality. These categories ar e used, for example, in

the construction of Hall alge bras or cluster categories.

Our main motivation fo r introducing and studying big tubes comes from the following. The

category rep

k

Q of ﬁnite dimensional representations of a tame quiver Q has tubes as subcate-

gories. More precisely, every regular module lies in a tube and the embedding nilp

k

˜

A

n

→ rep

k

Q

maps Auslander-Reiten sequences to Auslander-Reiten sequences (so that the embedding maps

the Auslander-Reiten quiver of nilp

k

˜

A

n

to a component of the Auslander-Reiten quiver of re p

k

Q;

it is of the form ZA

∞

/hτ

n+1

i).

By replacing the tame quiver Q by a “nice tame inﬁnite variant” one obta ins a category A of

representations which contains a big tube as a full subcategory, such tha t the Auslander-Reiten

translations in A and in the big tube coincide. Here, a “nice tame inﬁnite variant” of Q is given

by a certain thread quiver. We r efer to §4.4 for an example of a big tube in the category of

representations of the thread quiver

Likewise, in the category of coherent s heaves o n weighted pr ojective lines (see [13] or [18]), the

simple objects are contained in tubes. The aforementioned example can be considered as (being

derived equivalent to) an example of a weighted projective line with an inﬁnite weight (Remark

4.5).

The proof of the classiﬁcation consists of three steps. Let A be any essentially small k-linear

uniserial heredita ry category with Serre duality. The ﬁrst step (Proposition 6.1) is to prove some

consequences of Serre duality, most importantly that A has “enough simples” in the se nse that

every indecomp osable object has a simple socle and a simple top. We will then take a coﬁnite

subset of isomorphism classe s of simple objects and co nsider the perpendicular subcategory. The

second step of the proof is to say that this category is a her editary uniserial length category with

ﬁnitely many simple objects (Proposition 6.11).

It then follows that A is a ﬁltered 2-colimit of such length subcategories A

i

. To prove that A is

equivalent to a category in Theorem 1.2, we will take an appropiate such category B and similarly

write it as a ﬁltered 2-colimit of length subc ategories B

i

. Finding an equivalence between A and B

is then the same as ﬁnding a consistent set of equivalences between the length subcategories A

i

of

A and the corre sp onding ones of B. To ﬁnd such equivalences, we w ill embed the categories A

i

and

the categories B

i

in their Ind-closures. Such categories are lo c ally ﬁnite Grothendieck categories of

ﬁnite type and functors between them are described using coalgebras o r (dually) pseudocompact

algebras. We will use this structure to deﬁne a consistent set of functors from the subcategories A

i

to the s ubcategories B

i

, inducing an equivalence between A and B, completing the classiﬁcation.

Relevant deﬁnitions and theorems about Grothendieck categories in are given in §3.

Acknowledgments The author wishes to thank Michel Van den Bergh for meaningful discus-

sions, and wishes to thank Jan

ˇ

S

ˇ

tov´ıˇcek and Joost Vercruysse for many useful comments on an

early dra ft. The author also gratefully acknowledges the ﬁnancial and administrative support of

the Hausdor ﬀ Center for Mathematics in Bonn.

HEREDITARY UNISERIAL CATEGORIES WITH SERRE DUALITY 3

2. Preliminaries

2.1. Notatio ns and conventions. We will assume all categories are k-linear for an algebraically

closed ﬁeld k. A category C is called Hom-ﬁnite if dim

k

Hom

C

(A, B) < ∞ for all A, B ∈ Ob C, and

an abelian category C is called Ext-ﬁnite if and only if dim

k

Ext

i

C

(A, B) < ∞ for all A, B ∈ Ob C

and all i ≥ 0. An abelian Ex t-ﬁnite category is thus automatically also Hom-ﬁnite. An abelian

category will be called semi-simple if Ext

1

(−, −) = 0 and hereditary if Ext

2

(−, −) = 0.

We will also choose a Grothendieck universe U and assume all our categ ories are U-categories,

i.e. every Hom-sets in the category is an element of U. A category is called U-small (or just small)

if the object-set is also an element of U and it is called essentially U-small (or essentially small)

if it is equivalent to a U-small category.

Following [21, Theorem A] we will say that an Ext-ﬁnite hereditary category A has Serre duality

[4] if and only if A has almost split sequences and there is a one-one cor respondence between the

indecomposable projective objects P and the indecomposable injective objects I, such that the

simple top of P is isomorphic to the simple socle of I. The Auslander-Reiten translate in A will

be denoted by τ.

2.2. Paths i n Krull-Schmidt categories. Fo r a Krull-Schmidt category A we will denote by

ind A a (chosen) maximal set of nonis omorphic indecomposables of A. For a Krull-Schmidt sub-

category B of A, we will choose ind B as a subset of ind A. We wish to advic e the reader to not

confuse the set ind A with the category Ind A of ind-objects mentioned below.

Let A be a Krull-Schmidt category and A, B ∈ ind A. An unoriented path from A to B is a

sequence of objects A = X

0

, X

1

, . . . , X

n

= B such that Hom(X

i

, X

i+1

) 6= 0 or Hom(X

i+1

, X

i

) 6= 0

for all 0 ≤ i < n. Similarly, an oriented path (also abbreviated to path) from A to B is a sequence

of objects A = X

0

, X

1

, . . . , X

n

= B such that Hom(X

i

, X

i+1

) 6= 0 for all 0 ≤ i < n.

An abelian category A will be called indecomposable if and only if it is nonzer o and not equiv-

alent to the product category of two no nzero categories. If A is Hom-ﬁnite, and hence Krull-

Schmidt, then A is indec omp osable if and only if there is an unoriented path between any two

indecomposable objects of A.

2.3. Perpendicul ar subcategori es. Let A be an abelian Ext-ﬁnite hereditary category and let

S ⊆ Ob A. We will denote by S

⊥

the full subcateg ory of A consis ting of all objects X with

Hom(S, X) = Ext(S, X) = 0, calle d the category r ight perpendicular to S. It follows from [14,

Propos ition 1.1] that S

⊥

is again an abelian hereditary category and that the embedding S

⊥

→ A

is exact. If S = {E} consists of a single object E ∈ Ob A, then we will also write E

⊥

for S

⊥

.

Let E ∈ Ob A be an exceptiona l object (i.e. Ext(E, E) = 0). It follows from [14, Prop osition

3.2] that the embedding i : E

⊥

→ A has a left adjoint L : A → E

⊥

. If E is furthermore a simple

object, then the left adjoint L : A → E

⊥

is exact (see [14, Proposition 2.2]). Also note that L

maps a simple object of A to either a simple object in E

⊥

or to zero.

For eas y reference, we will combine these results in a proposition.

Proposition 2.1. [14] Let A be an abelian Ext-ﬁnite hereditary category. Let S ⊆ Ob A be a ﬁnite

set of simple and exceptional objects. The category S

⊥

is abelian and hereditary, the embedding

S

⊥

→ A is exact and has an exact left adjoint.

2.4. 2-colimits. In this article, we will sometimes s ee a category as a union of some suitable

small subcategories. In other words, so me categories of consideration will be 2 -colimits of smaller

categories (all 2-colimits in this ar ticle can be s e en as unions of full subcategories). We will repeat

some deﬁnitions and results from [29] (see also [5, 6, 17]). We will work in the strict 2-category

Cat of small categories, thus:

• the 0-cells are given by small categories,

• the 1-cells are functors,

• the 2-cells are natural transformatio ns.

Composition of 1-c ells is denoted by ◦. Following [1 9, 29] we will write ◦ for vertical composition

of 2-cells and • for horizontal composition.

4 ADAM-CHRISTIAAN VAN ROOSMALEN

Deﬁnition 2.2. Let P be a small 1-category. A 2-fu nctor (with strict identities) a : P → Cat is

given by the following data:

(1) a 0-cell a(i) of Cat for every i ∈ Ob P,

(2) a 1-cell a(s) : a(i) → a(j) of Cat for every morphism s : i → j in P and a(1

i

) = 1

a(i)

for

all i ∈ Ob P,

(3) a natural equivalence Φ(s, t) : a(t ◦ s)

∼

→ a(t) ◦ a(s) for all compo sable morphisms s, t ∈

Mor P,

satisfying the following condition: for three composable morphisms u, t, s ∈ Mor P, we have the

following commutative diagram

a(u ◦ t ◦ s)

Φ(t◦s,u)

//

Φ(s,u◦t)

a(u)a(t ◦ s)

1

a(u)•Φ(s,t)

a(u ◦ t)a(s)

Φ(t,u)•1

a(s)

//

a(u)a(t)a(s)

A 2-functor is calle d strict if Φ(s, t) = 1, thus a(t ◦ s) = a(t) ◦ a(s) for all composable s, t ∈ Mor P

Remark 2.3. A strict 2-functor is just a functor from I to the underlying 1-category of Cat.

Example 2.4. For every object C of Cat, there is a 2-functor C : P → Cat sending every object

of P to C and sending every morphism of C to the identity on C.

Deﬁnition 2.5. Let a, b : P → Cat be two 2-functors. A 2-natural transformation f : a → b

between 2 diagrams consists of the following data :

(1) a 1-cell f

i

: a(i) → b(i) of Cat for every i ∈ Ob P, and

(2) a natural equivalence θ

f

s

: b(s) ◦ f

i

→ f

j

◦ a(s) for every morphism s : i → j in P.

such that for a ny two composable morphisms s : i → j, t : j → k in P, we have the following

commutative diagram

b(t ◦ s) ◦ f

i

Φ

b

(s,t)•1

f

i

//

θ

f

t◦s

b(t) ◦ b(s) ◦ f

i

1

b(t)

•θ

f

s

b(t) ◦ f

i

◦ a(s)

θ

f

t

•1

a(s)

f

k

◦ a(t ◦ s)

f

k

•Φ

a

(s,t)

//

f

k

◦ a(t) ◦ a(s)

Deﬁnition 2.6. L et a, b : I → Cat be two 2-functors and f, g : a → b be 2-natural tr ansformations .

A modiﬁcation Λ : f → g consists in giving a 2 -cell Λ

i

: f

i

→ g

i

for a ll objects i ∈ I such that for

all s : i → j in I the following diagram commutes

b(s) ◦ f

i

θ

f

s

//

1

b(s)

•Λ

i

f

j

◦ a(s)

Λ

j

•1

a(s)

b(s) ◦ g

i

θ

g

s

//

g

j

◦ a(s)

Deﬁnition 2.7. The diagrams, 2-natural transformations, and modiﬁcations form a (strict) 2-

category called 2F(I, Cat).

We can now give the deﬁnition of a 2-c olimit.

Deﬁnition 2.8. Let a : I → Cat be a 2 -functor. We say a admits a 2-colimit if and only if there

exist

(1) a category 2 colim a, and

(2) a 2-natural transformation σ : a → 2 colim a,

HEREDITARY UNISERIAL CATEGORIES WITH SERRE DUALITY 5

such that for every categ ory C the functor

(− ◦ σ) : Hom

Cat

(2 colim a, C) → Hom

2F

(a, C)

is an equivalence of categor ie s.

The 2-category Cat of all small categories has 2-co limits ([29, Theorem A.3.4]).

Theorem 2.9. Let I be a small category and a : I → Cat a 2-functor. Then a admits a 2-colimit.

The following result is [29, Proposition A.5 .5]

Proposition 2.10. Let a : P → Cat be a 2-functor where P is a small ﬁltered category. Suppose

that a(i) is an additive (abelian) category for any i ∈ Ob P and that a(s) is an additive (exact)

functor for every morphism s ∈ Mor P. Then 2 colim a is an additive (abelian) category and the

natural funct ors σ

i

: a(i) → 2 colim a are additive (exact).

The next result ([29, Proposition A.3.6]) will be applicable to all 2-co limits we will consider.

Proposition 2.11. Let P be a small ﬁltered category such that between two given objects there is

at most one morphism, and let a : P → Cat be a 2-functor such that every fu nctor a(s) is fully

faithful (s ∈ Mor P). Any object X ∈ 2 colim a is isomorphic to an object of the form σ

i

(X

′

) where

X

′

∈ a(i). For any i, j ∈ Ob P, X ∈ Ob a(i), and Y ∈ Ob a(j), we have that

Hom

2 colim a

(σ

i

X, σ

j

Y )

∼

=

Hom

a(k)

(a(s)X, a(t)Y )

where k ∈ Ob P such that there are morphisms s : i → k and t : j → k. The above isomorphism

is given by ϕ

k

: a(k) → 2 colim a.

3. Grothendieck categories and tubes

In the proof of our main theorem, we wil be interested in functors between catego ries without

injectives. In order to handle such functors better, we will embed such a categor y A ﬁrst in its

category of Ind-objects Ind A deﬁned below. Such a category will be a Gro thendieck category of

ﬁnite type if A is an (essentially small) Hom- ﬁnite length category.

In this section, we recall some relevant deﬁnitions and results. Our aim is Corollary 3.17 which

describes the functors we will be interested in. We will only use these results when A is a tube

(as the other categories we will cons ider have enough injectives); the category of Ind-objects of a

tube is brieﬂy described in §3.4.

3.1. Locally ﬁnite Grothendieck categories. An abelian category is called a Grothendieck

category if it has a generator and exact direct limits. It is well-known that a Grothendieck

category has injective e nvelopes [11, The orem II.2] and an injective cogenerator.

Let A be an essentially small abelian category. We denote by Ind A the full subcategory of

Mod A consisting of a ll left exact contravariant functors A → Mod k. It has been shown in [11]

that Ind A is a Grothendieck category. Every object A ∈ Ind A can be written as a formal small

ﬁltered colimit in A (thus an object of I nd A is given by a functor from a small ﬁltered category

to A) a nd the Hom-sets may be computed by

Hom

Ind A

(lim

−→

i

A

i

, lim

−→

j

B

j

) = lim

←−

i

lim

−→

j

Hom

A

(A

i

, B

j

)

If A and B are essentially small abelian catego ries and F : A → B is a functor, then F lifts to

a functor

F : Ind A → Ind B as follows ([16])

F (lim

−→

i

A

i

) = lim

−→

i

F (A

i

).

The action o n the Hom-spaces is the obvious one. If F is faithful, fully faithful, left exact, or right

exact, then the same holds for

F . Furthermore, it follows easily from the deﬁnition that a left

or right adjoint functor L, R : B → A of F lifts to a left or right adjoint functor L, R : B → A,

repsectively.

We have the following.

##### Citations

More filters

••

Abstract: We introduce continuous Frobenius categories. These are topological categories which are constructed using representations of the circle over a discrete valuation ring. We show that they are Krull-Schmidt with one indecomposable object for each pair of (not necessarily distinct) points on the circle. By putting restrictions on these points we obtain various Frobenius subcategories. The main purpose of constructing these Frobenius categories is to give a precise and elementary description of the triangulated structure of their stable categories. We show in Igusa and Todorov (arXiv:1209.1879, 2012) for which parameters these stable categories have cluster structure in the sense of Buan et al. (Compos. Math. 145:1035–1079, 2009) and we call these continuous cluster categories.

25 citations

••

Abstract: Cyclic posets are generalizations of cyclically ordered sets. In this article, we show that any cyclic poset gives rise to a Frobenius category over any discrete valuation ring R. The stable category of a Frobenius category is always triangulated and has a cluster structure in many cases. The continuous cluster categories of [14], the infinity-gon of [12], and the m-cluster category of type A ∞ (m ≥ 3) [13] are examples of this construction as well as some new examples such as the cluster category of ℤ2. An extension of this construction and further examples are given in [16].

25 citations

••

Abstract: In Igusa and Todorov(2013) we constructed topological triangulated categories \(\mathcal {C}_{c}\) as stable categories of certain topological Frobenius categories \(\mathcal {F}_{c}\). In this paper we show that these categories have a cluster structure for certain values of c including c = π. The continuous cluster categories are those \(\mathcal {C}_{c}\) which have cluster structure. We study the basic structure of these cluster categories and we show that \(\mathcal {C}_{c}\) is isomorphic to an orbit category \(\mathcal {D}_{r}/\underline F_{s}\) of the continuous derived category\(\mathcal {D}_{r}\) if c = rπ/s. In \(\mathcal {C}_{\pi }\), a cluster is equivalent to a discrete lamination of the hyperbolic plane. We give the representation theoretic interpretation of these clusters and laminations.

24 citations

••

Abstract: Let A be an abelian hereditary category with Serre duality. We provide a classification of such categories up to derived equivalence under the additional condition that the Grothendieck group modulo the radical of the Euler form is a free abelian group of finite rank. Such categories are called numerically finite, and this condition is satisfied by the category of coherent sheaves on a smooth projective variety.

2 citations

••

Abstract: Triangulated categories coming from cyclic posets were originally introduced by the authors in a previous paper as a generalization of the constructions of various triangulated categories with cluster structures. We give an overview, and then analyze “triangulation clusters” which are those corresponding to topological triangulations of the 2-disk. Locally finite nontriangulation clusters give topological triangulations of the “cactus space” associated to the “cactus cyclic poset”.

1 citations

##### References

More filters

•

01 Jan 1971

Abstract: I. Categories, Functors and Natural Transformations.- 1. Axioms for Categories.- 2. Categories.- 3. Functors.- 4. Natural Transformations.- 5. Monics, Epis, and Zeros.- 6. Foundations.- 7. Large Categories.- 8. Hom-sets.- II. Constructions on Categories.- 1. Duality.- 2. Contravariance and Opposites.- 3. Products of Categories.- 4. Functor Categories.- 5. The Category of All Categories.- 6. Comma Categories.- 7. Graphs and Free Categories.- 8. Quotient Categories.- III. Universals and Limits.- 1. Universal Arrows.- 2. The Yoneda Lemma.- 3. Coproducts and Colimits.- 4. Products and Limits.- 5. Categories with Finite Products.- 6. Groups in Categories.- IV. Adjoints.- 1. Adjunctions.- 2. Examples of Adjoints.- 3. Reflective Subcategories.- 4. Equivalence of Categories.- 5. Adjoints for Preorders.- 6. Cartesian Closed Categories.- 7. Transformations of Adjoints.- 8. Composition of Adjoints.- V. Limits.- 1. Creation of Limits.- 2. Limits by Products and Equalizers.- 3. Limits with Parameters.- 4. Preservation of Limits.- 5. Adjoints on Limits.- 6. Freyd's Adjoint Functor Theorem.- 7. Subobjects and Generators.- 8. The Special Adjoint Functor Theorem.- 9. Adjoints in Topology.- VI. Monads and Algebras.- 1. Monads in a Category.- 2. Algebras for a Monad.- 3. The Comparison with Algebras.- 4. Words and Free Semigroups.- 5. Free Algebras for a Monad.- 6. Split Coequalizers.- 7. Beck's Theorem.- 8. Algebras are T-algebras.- 9. Compact Hausdorff Spaces.- VII. Monoids.- 1. Monoidal Categories.- 2. Coherence.- 3. Monoids.- 4. Actions.- 5. The Simplicial Category.- 6. Monads and Homology.- 7. Closed Categories.- 8. Compactly Generated Spaces.- 9. Loops and Suspensions.- VIII. Abelian Categories.- 1. Kernels and Cokernels.- 2. Additive Categories.- 3. Abelian Categories.- 4. Diagram Lemmas.- IX. Special Limits.- 1. Filtered Limits.- 2. Interchange of Limits.- 3. Final Functors.- 4. Diagonal Naturality.- 5. Ends.- 6. Coends.- 7. Ends with Parameters.- 8. Iterated Ends and Limits.- X. Kan Extensions.- 1. Adjoints and Limits.- 2. Weak Universality.- 3. The Kan Extension.- 4. Kan Extensions as Coends.- 5. Pointwise Kan Extensions.- 6. Density.- 7. All Concepts are Kan Extensions.- Table of Terminology.

9,164 citations

•

11 May 2010Abstract: 1. Artin rings 2. Artin algebras 3. Examples of algebras and modules 4. The transpose and the dual 5. Almost split sequences 6. Finite representation type 7. The Auslander-Reiten-quiver 8. Hereditary algebras 9. Short chains and cycles 10. Stable equivalence 11. Modules determining morphisms.

1,996 citations

••

Abstract: © Bulletin de la S. M. F., 1962, tous droits réservés. L’accès aux archives de la revue « Bulletin de la S. M. F. » (http://smf. emath.fr/Publications/Bulletin/Presentation.html) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.

1,416 citations

•

01 Jan 1982

Abstract: Received by the editors 2004-10-30. Transmitted by Steve Lack, Ross Street and RJ Wood. Reprint published on 2005-04-23. Several typographical errors corrected 2012-05-13. 2000 Mathematics Subject Classification: 18-02, 18D10, 18D20.

1,362 citations

••

26 Aug 1994TL;DR: The Handbook of Categorical Algebra is intended to give, in three volumes, a rather detailed account of what, ideally, everybody working in category theory should know, whatever the specific topic of research they have chosen.

Abstract: The Handbook of Categorical Algebra is intended to give, in three volumes, a rather detailed account of what, ideally, everybody working in category theory should know, whatever the specific topic of research they have chosen. The book is planned also to serve as a reference book for both specialists in the field and all those using category theory as a tool. Volume 3 begins with the essential aspects of the theory of locales, proceeding to a study in chapter 2 of the sheaves on a locale and on a topological space, in their various equivalent presentations: functors, etale maps or W-sets. Next, this situation is generalized to the case of sheaves on a site and the corresponding notion of Grothendieck topos is introduced. Chapter 4 relates the theory of Grothendieck toposes with that of accessible categories and sketches, by proving the existence of a classifying topos for all coherent theories.

1,205 citations