Script Exact Categories in Functional Analysis
Leonhard Frerick and Dennis Sieg
June 22, 2010 ii To Susanne Dierolf.
iii iv Contents
1 Basic Notions 1 1.1 Categories ...... 1 1.2 Morphisms and Objects ...... 5 1.3 Functors ...... 9
2 Additive Categories 25 2.1 Pre-additive Categories ...... 25 2.2 Kernels and Cokernels ...... 27 2.3 Pullback and Pushout ...... 36 2.4 Product, Coproduct and Biproduct ...... 42 2.5 Additive Categories ...... 50 2.6 Semi-abelian Categories ...... 58
3 Exact Categories 65 3.1 Basic Properties ...... 65 3.2 E-strict morphisms ...... 88
4 Maximal Exact Structure 103 4.1 p-strict morphisms ...... 103 4.2 Maximal Exact Structure ...... 109 4.3 Quasi-abelian Categories ...... 115
5 Derived Functors 121 5.1 Exact Functors ...... 121 5.2 Complexes ...... 126 5.3 Resolutions ...... 142 5.4 Derived Functors ...... 157 5.5 Universal δ-Functors ...... 171
6 Yoneda-Ext-Functors 181 6.1 Yoneda-Ext1 ...... 181 6.2 Yoneda-Extn ...... 195
v vi CONTENTS
7 Appendix 1: Projective Spectra 225 7.1 Categories of Projective Spectra ...... 225 7.2 The Projective Limit ...... 231 Preface
These lecture notes have their roots in a seminar organized by the authors in the years 2008 and 2009 at the University of Trier. The present notes con- tain much more than the content of the original seminar, which was based on the works of Palamodov [17, 18] and the book of Wengenroth [31]. Over the course of the seminar, due to the research of the second named author for his Ph.D.-thesis, it turned out, that the language of exact categories, as introduced by Quillen [22], is a far more flexible and more useful start- ing point for homological algebra in functional analysis, than the setting of semi-abelian categories used in [17, 18, 31]. For example it allows one not only to treat the classical categories of functional analysis, like locally con- vex spaces, Banach spaches or Fr´echet spaces, but also more complex non semi-abelian categories of current research, like the PLS-spaces introduced by Domanski and Vogt. A homological approach to the splitting theory of these spaces, which uses the homological methods presented in this treatise, can be found in the Ph.D.-thesis of the second named author which is avail- able at http://ubt.opus.hbz-nrw.de/volltexte/2010/572/pdf/SiegDiss.pdf. These notes are aimed at readers who are interested in homological methods for functional analysis, who have some knowledge of functional analysis, but who lack experience in classical homological algebra. Therefore we are not assuming any knowledge of category theory or homological algebra in these notes. The classical introductory textbooks of homological algebra, like [30], always assume the categories to be abelian, which is almost never the case in the interesting categories appearing in functional analysis, hence they are only of limited use for someone who wants to learn about the latter ones. In this notes we treat non-abelian homological algebra completely on its own, without refering to the abelian case, and we prove every assumption in full detail. Furthermore, our examples are always taken from functional analy- sis. It is our philosophy, that the embedding theorems of category theory, like the Freyd-Mitchell full embedding theorem for abelian categories and the Gabriel-Quillen embedding theorem for exact categories, which are often used to transfer assumptions about diagrams into a category of modules and there argue by “diagram chasing”, are better used as an intuition than as a direct proof. Therefore, we proof everything directly from the axioms in this text by using the defining universal properties. We are convinced that this
vii viii PREFACE approach provides more insight into the subject than “diagram chasing”. This text contains part of the work of Wengenroth [31] and also uses much of the content of the survey article about exact categories of B¨uhler[3]. The content of the article [25] of the second named author and Wegner is also completely contained in this text. In addition this text drew much inspira- tion from books on classical homological algebra like Mitchell [16], Weibel [30] and Adamek, Herrlich, Strecker [1]. As a last remark, we want to remind our readers that this text is not written for publication, but only a collection of lecture notes. It is still a work in progress and we are thankful for comments and suggestions.
Leonhard Frerick and Dennis Sieg. Chapter 1
Basic Notions
1.1 Categories
Definition 1.1. A category is a quadruple C = (Ob(C), HomC, id, ◦) con- sisting of the following data:
(1) A class Ob(C), whose members are called objects of C.
(2) For each pair (X,Y ) of objects of C, a set HomC(X,Y ), whose elements are called morphisms from X to Y . Morphisms are generally expressed by using arrows; e.g. we will often write “f : X → Y is a morphism” instead of the statement “f ∈ HomC(X,Y )”.
(3) For each object X ∈ Ob(C), a morphism idX : X → X, called the identity on X.
(4) A composition law associating with each morphism f : X → Y and each morphism g : Y → Z a morphism g ◦ f : X → Z, called the composite of f and g.
These data have to have the following properties:
(C1) The composition is associative; i.e. for morphisms f : X → Y , g : Y → Z, and h: Z → W , the equation h ◦ (g ◦ f) = (h ◦ g) ◦ f holds.
(C2) The identities act as neutral elements with respect to the composition; i.e., for a morphism f : X → Y , we have idY ◦f = f and f ◦ idX = f.
(C3) The sets HomC(X,Y ) are pairwise disjoint.
Remark 1.2. Let C = (Ob(C), HomC, id, ◦) be a category.
i) The class of all morphisms of C is denoted by Mor(C) and is defined to be the union of all the sets HomC(X,Y ) in C.
1 2 CHAPTER 1. BASIC NOTIONS
ii) If f : X → Y is a morphism in C, we call X the domain of f and Y the codomain of f. The property (C3) then guarantees that each morphism has a unique domain and a unique codomain. This is given for technical convenience only, because if the other two properties are satisfied one can just replace each morphism f ∈ HomC(X,Y ) with the triple (f, X, Y ) so that (C3) is also satisfied. Therefore when checking that an entity is a category we will only show (C1) and (C2).
iii) The composition ◦ is a partial binary operation on the class Mor(C) and for a pair (f, g) of morphisms the composite g ◦ f is defined if and only if the domain of g and the codomain of f coincide.
iv) For an object X of C the identity idX : X → X is uniquely determined because of property (C2).
Example 1.3.
i) The category (Set) whose objects are sets and which has as morphisms Hom(Set)(X,Y ) the set of all mappings from X to Y . The identity mor- phism idX is the identity mapping on X and ◦ is the usual composition of mappings.
ii) An important type of categories are those, whose objects consist of structured sets and whose morphisms are mappings between these sets that preserve the structure. These categories are called constructs. Some examples of constructs are:
a) (Ab) the category of abelian groups and group morphisms. b) (T op) the category of topological spaces and continous mappings.
c) (Ring1) the category of commutative rings with unity together with the ring morphisms that preserve the unity. d) (F − V ec) the category of vector spaces over a fixed field F and F-linear mappings. e) (TVS) the category of topological vector spaces over a fixed field F ∈ {R, C} and continous F-linear mappings. f) (LCS) the category of (not necessarily Hausdorff) locally convex vector spaces over a fixed field F and continous F-linear mappings.
g) (LCS)HD the category of Hausdorff locally convex vector spaces over a fixed field F and continous F-linear mappings. iii) In the case of constructs it is often clear what the morphisms should be once the objects are defined. But this is not always the case:
a) There are, at least, three different constructs having metric spaces as objects: 1.1. CATEGORIES 3
• (Met) the category of metric spaces and contractions.
• (Metu) the category of metric spaces and uniformly conti- nous mappings.
• (Metc) the category of metric spaces and continous map- pings. b) The following two categories are natural constructs having as objects all Banach spaces: • (Ban) the category of Banach spaces and continous linear mappings.
• (Banc) the category of Banach spaces and linear contrac- tions.
iv) Not all categories consist of structured sets and mappings preserving this structure, as the following examples show:
a) (Mat) which has as objects the natural numbers N and for which Hom(Mat)(m, n) is the set of all real (m×n)-matrices, idn : n → n is the unit matrix, and the composition is defined by A◦B = BA, where BA is the usual multiplication of matrices. b) If (I, ≤) is a preordered set, i.e. I is a set and ≤ is a reflexive and transitive relation on I we can define a category C(I) in the following way:
{(i, j)} if i ≤ j Ob(C(I)) = I, Hom (i, j) = , C(I) ∅ otherwise
as well as idi = {(i, i)} and {(j, k)} ◦ {(i, j)} = {(i, k)}.
Definition 1.4. Let C = (Ob(C), HomC, id, ◦) be a category. We define the dual category of C as
op op C = (Ob(C), HomCop , id, ◦ ), where the morphism sets are defined as HomCop (X,Y ) = HomC(Y,X) and the composition as f ◦op g = g ◦ f.
Remark 1.5.
i) If C is a category, then C and Cop have the same objects, only the direction of the arrows is “reversed”: If f : X → Y is a morphism in C, then f ∈ HomC(X,Y ) = HomCop (Y,X), hence f is a morphism from Y to X when considered as a morphism of the dual category. We write f op in place of f when we consider it as a morphism of the dual category. 4 CHAPTER 1. BASIC NOTIONS
ii) Because of the way dual categories are defined, every statement con- cerning an object X in a category C can be translated into a logically equivalent statement in the dual category Cop. This observation al- lows one to associate (in two steps) with every property P concerning objects and morphisms in categories, a dual property concerning ob- jects and morphisms in categories, as demonstrated by the following example: Consider the following property of an object X of a category C:
PC(X) ≡ For any Y ∈ Ob(C) there exists a unique λ ∈ HomC(Y,X).
op Step 1: In PC(X) replace all occurrences of C by C , thus obtaining the following property:
op PCop (X) ≡ For any Y ∈ Ob(C ) there exists a unique λ ∈ HomCop (Y,X).
Step 2: Translate PCop (X) into the logically equivalent statment in C:
op PC (X) ≡ For any Y ∈ Ob(C) there exists a unique λ ∈ HomC(X,Y ).
op PC (X) is called the dual property of PC(X). Roughly speaking, op PC (X) is obtained from PC(X) by reversing the direction of each arrow and the order in which morphisms are composed. In general, op PC (X) is not equivalent to PC(X). For example, if C is the category (Set) then the property PC(X) holds if and only if X is a singleton op set, whereas the dual property PC (X) holds if and only if X is the empty set.
iii) The dual property Pop of a property P holds in a category C if and only if P holds in Cop.
iv) Obviously (Cop)op = C.
v) From the above two observations we get the extremely useful Duality Principle for Categories, namely:
Whenever a property P holds for all categories, then the property Pop holds for all categories.
Because of this principle, each result in category theory has two equiva- lent formulations. However, only one of them needs to be proved, since the other one follows by virtue of the Duality Principle.
Remark 1.6. Morphisms in a category will usually be denoted by lowercase letters, while uppercase letters will be reserved for objects. The morphism 1.2. MORPHISMS AND OBJECTS 5
f g h = g ◦ f will sometimes be denoted by X → Y → Z or by saying that the triangle f X / Y AA AA g h AA A Z commutes. Similarly, the statement that the square
f X / Y
h g W / Z k commutes means that g ◦ f = k ◦ h.
1.2 Morphisms and Objects
Definition 1.7. Let C be a category and φ: X → Y be a morphism.
i) φ is called an epimorphism, if for every two morphisms f1, f2 : Y → W with f1 ◦ φ = f2 ◦ φ it follows that f1 = f2.
ii) φ is called a monomorphism, if for every two morphisms g1, g2 : Z → X with φ ◦ g1 = φ ◦ g2 it follows that g1 = g2. iii) φ is called a bimorphism, if φ is both a monomorphism and an epi- morphism.
Remark 1.8. Monomorphisms are the dual notion of epimorphisms, i.e. a morphism f : X → Y in a category C is an epimorphism if and only if f op is a monomorphism in Cop. The bimorphisms of C and Cop are the same.
Example 1.9.
i) In every category the identities are bimorphisms.
ii) A morphism in the category (Set) is an epimorphism if and only if it is surjective. It is a monomorphism if and only if it is injective and hence a bimorphism if and only if it is bijective.
iii) In many constructs, the monomorphisms are precisely the morphisms that have injective underlying mappings; e.g. this is the case in all the constructs of example 1.3. The epimorphisms in a number of con- structs are those having surjective underlying mappings; e.g. this is the case in the constructs of example 1.3.ii). However, this situation occurs less frequently than that of monomorphisms having injective 6 CHAPTER 1. BASIC NOTIONS
underlying mappings and in quite a few familiar constructs, epimor- phisms are not surjective: In the category (T op)HD of topological Hausdorff spaces and continous mappings a morphism is an epimor- phism if and only if it has dense range. This is also the case in the category (LCS)HD. Proposition 1.10. Let C be a category and let h = g ◦ f be a morphism in C. i) If g and f are epimorphisms, then h is an epimorphism.
ii) If h is an epimorphism, then g is an epimorphism.
iii) If g and f are monomorphisms, then h is a monomorphism.
iv) If h is a monomorphism, then f is a monomorphism. Proof. Because of the duality principle it suffices to show i) and ii), since iii) and iv) are the dual statements. More precisely: Suppose i) and ii) have already been shown. If g and f are monomorphisms, then gop and f op are epimorphisms in Cop. Since i) holds for all categories hop = f op ◦op gop is an epimorphism and therefore a monomorphism in C. Analagously one shows iv). i) If g1 ◦ (g ◦ f) = g2 ◦ (g ◦ f) for two morphisms g1 and g2 it follows first that g1 ◦ g = g2 ◦ g and then g1 = g2, since both g and f are epimorphisms. This shows i). ii) If g1 ◦ g = g2 ◦ g, then g1 ◦ (g ◦ f) = g2 ◦ (g ◦ f), hence g1 = g2, since h = g ◦ f is an epimorphism.
Definition 1.11. Let C be a category and φ: X → Y be a morphism. i) φ is called a retraction, if there exists a morphism ψ : Y → X with φ ◦ ψ = idY ; i.e. if φ has a right-inverse. ii) φ is called a coretraction, if there exists a morphism ψ : Y → X with ψ ◦ φ = idX ; i.e. if φ has a left-inverse. iii) φ is called an isomorphism, if there exists a morphism ψ : Y → X with φ ◦ ψ = idY and ψ ◦ φ = idX ; i.e. if φ has an inverse. Remark and Definition 1.12. The inverse of an isomorphism is uniquely determined by the defining property. Therefore, given an isomorphism φ : X → Y , we will denote the inverse morphism ψ : Y → X with φ ◦ ψ = −1 idY and ψ ◦ φ = idX by φ := ψ. We will call two objects X, Y of a category C isomorphic, if there exists an isomorphism φ: X → Y . This is an equivalence relation on the class Ob(C) and we will write X =∼ Y if X and Y are isomorphic to each other. The right-inverse of a retraction and the left-inverse of a coretraction are, in general, not uniquely determined. 1.2. MORPHISMS AND OBJECTS 7
Proposition 1.13. Let C be a category and φ: X → Y be a morphism.
i) If φ is retraction, then it is an epimorphism.
ii) If φ is a coretraction, then it is a monomorphism.
iii) If φ is an isomorphism, then it is a bimorphism.
Proof. i) follows from 1.9.i) and 1.10.i), ii) is the dual statement of i) and iii) follows from i) and ii).
Example 1.14.
i) In the category (Set) a morphism is a retraction if and only if it is surjective, it is a coretraction if and only it is injective and it is an isomorphism if and only if it is bijective. The same holds for the category (F − V ec). ii) In the categories (TVS) and (LCS) a morphism is an isomorphism if and only if it is bijective and open unto its range. An isomorphism in the category (LCS)HD is characterized by being injective, open unto its range and having a dense image. The retractions and coretractions of these categories are not so easily characterized. We will come back to them in a later chapter.
Proposition 1.15. Let C be a category and h = g ◦ f be a morphism in C.
i) If g and f are retractions, then h is a retraction.
ii) If h is a retraction, then g is a retraction.
iii) If g and f are coretractions, then h is a coretraction.
iv) If h is a coretraction, then f is a coretraction.
Proof. It suffices to show i) and ii), since iii) and iv) are the dual statements of i) and ii). i) If g ◦ r = idZ for a morphism r : Z → Y and f ◦ s = idY for a morphism s: Y → X then
(g ◦ f) ◦ (s ◦ r) = g ◦ (f ◦ s) ◦ r = g ◦ idY ◦r = g ◦ r = idZ , hence h = g ◦ f has a right-inverse. ii) Given a morphism l : Z → X with (g◦f)◦l = idZ we have g◦(f ◦l) = idZ , hence g is a retraction.
Proposition 1.16. Let C be a category and φ: X → Y be a morphism in C. The following are equivalent:
i) φ is a retraction and a monomorphism. 8 CHAPTER 1. BASIC NOTIONS
ii) φ is a coretraction and an epimorphism.
iii) φ is an isomorphism.
iv) φ is a retraction and coretraction.
Proof. i) ⇒ iii) Let ψ : Y → X be a morphism with φ ◦ ψ = idY . Then we have φ ◦ ψ ◦ φ = idy ◦φ = φ ◦ idX and since φ is a monomorphism it follows that ψ ◦ φ = idX . Hence φ is an isomorphism. The assertion ii) ⇒ iii) follows by duality, iii) ⇒ iv) is trivial and iv) ⇒ i) as well as iv) ⇒ ii) follow from proposition 1.13.
Definition 1.17. Let C be a category.
i) An object I of C is called an initial object, if for every object X ∈ Ob(C) there exists exactly one morphism iX : I → X. ii) An object T of C is called a terminal object, if for every object X ∈ Ob(C) there exists exactly one morphism tX : X → T . iii) An object Z of C is called a zero object, if it is both initial and terminal.
Remark 1.18.
i) The notion of a terminal object is the dual notion of that of an initial object; i.e. if I is an initial object of a category C then I is a terminal object of Cop and vice versa.
ii) If I and Ie are initial (resp. terminal, resp. zero) objects of a category C, then there exists exactly one isomorphism λ: I → Ie. In fact, since I and I are both initial there exists exactly one morphism i : I → I e Ie e and exactly one morphism eiI : Ie → I. Since idI is the only element of Hom (I,I) and id is the only element of Hom (I, I) it follows that C Ie C e e i ◦ i = id and i ◦ i = id . Hence i is an isomorphism. By duality, Ie eI Ie eI Ie I Ie the same holds for terminal objects. This property is characterized by saying that an initial (resp. terminal, resp. zero) object is unique up to a canonical isomorphism.
iii) If I is an initial object of a category C, and f : X → Y is an arbitrary morphism, the morphism f ◦ iX is a morphism from I to Y , hence f ◦ iX = iY . Dually, if T is a terminal object of a category C we have tY ◦ f = tX for every morphism f : X → Y .
Remark and Definition 1.19. If a category C possesses a zero object Z, then there exists for every two objects X,Y ∈ Ob(C) a morphism
0X,Y : X → Y 1.3. FUNCTORS 9 called the zero morphism from X to Y , given by the composition
tX iX X / Z /7 Y .
0X,Y
If f : W → X and g : Y → Z are morphisms in C it follows from 1.18.iii) that
0X,Y ◦ f = iY ◦ tX ◦ f = iY ◦ tW = 0W,Y
g ◦ 0X,Y = g ◦ iY ◦ tX = iZ ◦ tX = 0X,Z .
Example 1.20.
i) In the category (Set) the empty set ∅ is an initial object and every singleton is a terminal object.
ii) In the category (Ring1) the ring Z is an initial object and the zero ring is a terminal object.
iii) In the category (Ab) the trivial group is a zero object.
iv) The zero vector space is the zero object of the category (F − V ec).
v) The categories (TVS), (LCS) and (LCS)HD all have as a zero object the zero vector space with its unique topology.
1.3 Functors
Definition 1.21. Let C and D be categories.
i) A covariant functor F : C → D from C to D is a rule that assigns to every X ∈ Ob(C) an object F (X) ∈ Ob(D) and to every morphism f : X → Y in C a morphism F (f): F (X) → F (Y ) with the following properties:
(F 1) F (idX ) = idF (X) (F 2) F (g ◦ f) = F (g) ◦ F (f)
ii) A contravariant functor G: C → D from C to D is a rule that assigns to every X ∈ Ob(C) an object G(X) ∈ Ob(D) and to every morphism f : X → Y in C a morphism G(f): G(Y ) → G(X) with the following properties:
(F 1) G(idX ) = idG(X) (F 2)op G(g ◦ f) = G(f) ◦ G(g) 10 CHAPTER 1. BASIC NOTIONS
Remark and Definition 1.22.
i) Every contravariant functor G: C → D can also be seen as a covariant functor G: Cop → D.
ii) Every functor (covariant or contravariant), preserves isomorphisms: Let ψ : X → Y be an isomorphism in a category C and F : C → D a covariant functor, then the functor properties yield
−1 −1 F (ψ) ◦ F (ψ ) = F (ψ ◦ ψ ) = F (idY ) = idF (Y ), −1 −1 F (ψ ) ◦ F (ψ) = F (ψ ◦ ψ) = F (idX ) = idF (X),
hence F (ψ) is an isomorphism in D.
iii) If C,D and E are categories, F : C → D, F 0 : D → E are covariant functors and G: C → D, G0 : D → E are contravariant functors one can define the composite functor
F 0 ◦ F (X) = F 0(F (X)) F 0 ◦ F : C → E , . F 0 ◦ F (f) = F 0(F (f))
The functor F 0 ◦ F is covariant. In a similar way one can define the composite functors G0 ◦F , F 0 ◦G and G0 ◦G. In these cases the functors G0 ◦F and F 0 ◦G are contravariant and the functor G0 ◦G is covariant.
Example 1.23.
i) For every category C there is the identity functor
Id(X) = X Id: C → C , . Id(f) = f
ii) For every category there is the duality functor
op(X) = X op : C → Cop , . op(f) = f op
op op op is a contravariant functor with ◦ = IdC.
iii) For every two categories C and D and every object Y0 of D there is the constant functor with value Y0 CY0 (X) = Y0 CY0 : C → D , . Id(f) = idY0 1.3. FUNCTORS 11
iv) For every category C and A ∈ Ob(C), we have a covariant functor X 7→ HomC(A, X) HomC(A, −): C → (Set) , , α 7→ HomC(A, α)
where
0 HomC(A, α): HomC(A, X) → HomC(A, X ), f 7→ α ◦ f
and a contravariant functor Z 7→ HomC(Z,A) HomC(−,A): C → (Set) , , γ 7→ HomC(γ, A)
where
0 HomC(γ, A): HomC(Z,A) → HomC(Z ,A), g 7→ g ◦ γ.
Remark 1.24. Let C be a category and let A ∈ Ob(C). Then we have
op HomC(−,A) = HomCop (A, −) ◦ .
Indeed, we have HomC(X,A) = HomCop (A, X) for each object X of C. If f : X → Y is a morphism in C, then
op op op HomCop (A, −) ◦ (f)(g) = f ◦ g.
Since f op ◦op g in Cop is the morphism gop ◦ f in C, it follows that the op morphisms HomC(f, A) and HomCop (A, f ) coinside.
Example 1.25.
i) There is the covariant functor
F (X) = X F :(Ab) → (Set) , . F (f) = f
Functors of this kind, where part of the structure on the objects and morphisms are “forgotten” are called forgetful functors.
ii) There is the contravariant duality functor
L(X) = X0 L:(TVS) → (TVS) , , L(f) = f t
assigning to each topological vector space X its strong dual X0 and to f : X → Y the transposed map f t : Y 0 → X0. 12 CHAPTER 1. BASIC NOTIONS
iii) For a locally convex space X let Xe be the Hausdorff completion of X, i.e. the completion of X/{0} and let jX : X → Xe be the canonical map (which is injective if and only if X is Hausdorff and surjective if and only if X is complete). Then we have the covariant completion functor ( C(X) = Xe C :(LCS) → (LCS)HD , , C(f) = fe
assigning to X the space Xe and to a continous linear map f : X → Y the canonical map fe: Xe → Ye. Remark and Definition 1.26. We have seen above that functors act as morphisms between categories; they are closed under composition, which is associative and the identity functors act as identities with respect to the composition. Because of this, one is tempted to consider the “category of all categories”. However, there are two difficulties that arise when we try to form this entity. First, the “category of all categories” would have objects such as “all sets” or “all vector spaces”, which are not sets but proper classes. We will not concern ourselves with the set-theoretic difficulties arising in category theory. The reader who is interested in this should consult [1, 4, 5] as well as the references therein. Since proper classes cannot be elements of classes, the conglomerate of all categories would not be a class, thus violating the properties of a category. Second, given any categories C and D, it is not generally true that the conglomerate af all functors from C to D forms a set, which is another violation of the properties. However, if we restrict our attention to categories whose class of objects is actually a set, then both problems are eliminated. A category C is called small if Ob(C) is a set. Otherwise its called large.
Example 1.27.
i) The category (Mat) of natural numbers and m × n-matrices is a small category.
ii) Every preordered set is small when considered as a category.
iii) The category (Set) of sets and mappings is not small, since the class of all sets is not a itself a set (Russell’s paradox).
M iv) Since for every set M there is the vector space F , the category (F − V ec) of all vector spaces is not a small category.
v) Every category that contains one of the above is not small. For ex- ample, the category (TVS) of topological vector spaces is not small, since it contains all vector spaces (each vector space is a topological vector space, when considered together with the coarsest topology). 1.3. FUNCTORS 13
vi) The category (Ban) of Banach spaces and continous linear mappings is not small, since for every set M there is the Banach space l∞(M).
vii) The categories (LCS) and (LCS)HD are not small, since they contain the Banach spaces.
Remark and Definition 1.28. The category (Cat) of small categories has as objects all small categories, as morphisms from C to D the functors from C to D, as identities the identity functors, and as composition the composition of functors. Since each small category is a set, the conglomerate of all small categories is a class, and since for each pair (C, D) of small categories the conglomerate of all functors from C to D is a set, (Cat) is indeed a category. However its not a small category.
Definition 1.29. A quasicategory is a quadruple C = (Ob(C), HomC, id, ◦) consisting of the following data:
(1) A conglomerate Ob(C), whose members are called objects of C.
(2) For each pair (X,Y ) of objects of C, a conglomerate HomC(X,Y ), whose elements are called morphisms from X to Y .
(3) For each object X ∈ Ob(C), an morphism idX : X → X, called the identity on X.
(4) A composition law associating with each morphism f : X → Y and each morphism g : Y → Z a morphism g ◦ f : X → Z.
These data have to have the following properties:
(C1) The composition is associative.
(C2) The identities act as neutral elements with respect to the composition.
(C3) The sets HomC(X,Y ) are pairwise disjoint. Remark and Definition 1.30.
i) Every category is a quasicategory.
ii) The quasicategory (CAT ) of all categories has as objects all categories, as morphisms from C to D all functors from C to D, as identities the identity functors, and as composition the composition of functors. (CAT ) is a proper quasicategory in the sense that it is not a category.
iii) Virtually every categorical concept has a natural analogue or interpre- tation for quasicategories. The names for such quasicategorical con- cepts will be the same as those of their categorical analogues. Thus we have, for example, the notion of functor between quasicategories. 14 CHAPTER 1. BASIC NOTIONS
Because the main objects of our study are categories, most notions will be specifically formulated only for categories. In fact, the only quasicategories we will introduce at all are the category (CAT ) de- fined above, the category which has as objects all functors between two categories C and D, the quasicategory of all classes and that of all big abelian groups, defined further below.
Definition 1.31. Let C and D be categories and let F : C → D be a covariant functor. For X,Y ∈ Ob(C) we have the mapping
φX,Y : HomC(X,Y ) → HomD(F (X),F (Y )), f 7→ F (f).
i) The functor F is called faithful, if φX,Y is injective for all objects X and Y .
ii) The functor F is called full, if φX,Y is surjective for all objects X and Y .
iii) The functor F is called fully faithful if it is full and faithful.
iv) The functor F is called essentially surjective, if for every Y ∈ Ob(D) there exists an X ∈ Ob(C) with F (X) =∼ Y .
Definition 1.32. Let C be a category. A subcategory of C is a category C0 with the following properties:
(SC1) Every object X ∈ Ob(C0) is an object of C.
(SC2) For every two objects X,Y ∈ Ob(C0) there is the inclusion
HomC0 (X,Y ) ⊆ HomC(X,Y ).
0 0 (SC3) The identity idX in C of an object X ∈ Ob(C ) is also the identity in C.
(SC4) The composition of two morphisms in C0 is the same as the composition in C.
Remark and Definition 1.33. If C0 is a subcategory of a category C, we have a covariant faithful functor ι(X) = X ι: C0 → C , , ι(f) = f
the so-called inclusion functor. C0 is called a full subcategory of C, if the functor ι is fully faithful, i.e. if 0 HomC0 (X,Y ) = HomC(X,Y ) for all X,Y ∈ Ob(C ). 1.3. FUNCTORS 15
Example 1.34.
i) Let F be a field and let (F − V ec) be the category of F-vector spaces and linear mappings. The category (F − V ec)fin of finite dimensional vector spaces and linear mappings is a full subcategory of (F − V ec). ii) We have the inclusions
(TVS) ⊇ (LCS) ⊇ (LCS)HD ⊇ (Ban)
of categories. Since all these categories have continous linear mappings as morphisms, each of them is a full subcategory of the categories lying above them.
iii) For the category (TVS) the forgetful functor
F (X, T ) = X F :(TVR) → ( − V ec) , X , F F (f) = f
is full. Every vector space V can be made into a topological vector space (V, TV ) by using the coarsest topology on V , hence the functor F is essentially surjective. It is not faithful, since there are linear mappings between topological vector spaces that are not continous.
iv) Let (Mat) be the category, which has as objects the natural numbers N and as morphisms Hom(Mat)(m, n) the set of all real (m×n)-matrices. Then the functor
n F (n) = F F :(Mat) → (F − V ec)fin , m×n , F (A ∈ F ) = Aφ with n m Aφ : F → F , x 7→ Ax, is fully faithful and essentially surjective.
Proposition 1.35. Let C and D be categories and let F : C → D be a fully faithful functor. Then the following are equivalent:
i) f : X → Y is an isomorphism in C.
ii) F (f): F (X) → F (Y ) is an isomorphism in D.
Proof. i) ⇒ ii) is clear from 1.22.ii). ii) ⇒ i) Let u ∈ HomD(F (Y ),F (Y ) be a morphism with u ◦ F (f) = idF (X) and F (f) ◦ u = idF (Y ). Since the mapping g 7→ F (g) is surjective , there exists an h ∈ HomC(Y,X) with F (h) = u. Then
F (h ◦ f) = F (h) ◦ F (f) = idF (X) = F (idX ) 16 CHAPTER 1. BASIC NOTIONS and F (f ◦ h) = F (f) ◦ F (h) = idF (Y ) = F (idY ).
The mapping g 7→ F (g) is also injective, hence it follows that f ◦ h = idY and h ◦ f = idX . Definition 1.36. Let C and D be categories and let F,G: C → D be covari- ant functors. A natural transformation
τ : F → G is a rule that assigns to each X ∈ Ob(C) a morphism τ(X): F (X) → F (X) of D in such a way that the following condition holds: For each morphism f : X → Y in C, the square
τ(X) F (X) / G(X)
F (f) G(f) F (Y ) / G(Y ) τ(Y ) is commutative. We will denote natural transformations from F to G by Nat(F,G). A natural transformation between contravariant functors F 0,G0 : C → D is a natural transformation between the covariant functors F 0,G0 : Cop → D Remark and Definition 1.37. i) If τ : F → G and τ 0 : G → H are natural transformations between functors F, G, H from a category C to a category D then it is clear that τ 0 ◦ τ : F → H defined by τ 0 ◦ τ(X) := τ 0(X) ◦ τ(X) for each X ∈ C is again a natural transformation, since all the diagrams
0 τX τ (X) F (X) / G(X) / H(X)
F (f) G(f) H(f) F (Y ) / G(Y ) / H(Y ) τY τ 0(Y )
are commutative. Therefore we have a composition of natural trans- formations, which is obviously associative. ii) Let τ : F → G be a natural transformation between functors F,G: C → D. If for every X ∈ Ob(C) the morphism τ(X): F (X) → G(X) is an isomorphism, then τ is called a natural isomorphism. 1.3. FUNCTORS 17
iii) Two Functors F,G: C → D are called naturally isomorphic, often denoted by F =∼ G, if there exists a natural isomorphism φ: F → G. Example 1.38.
i) For every functor F : C → D we have the natural isomorphism
idF : F → F,
called the identity on F , given by idF (X) := idF (X) for every object X of C.
ii) Let C be a category, let A and B be objects of C and let a: A → B be a morphism. Since for every morphism f : X → Y the diagram
HomC(a,X) HomC(B,X) / HomC(A, X)
HomC(B,f) HomC(A,f) HomC(B,Y ) / HomC(A, Y ) HomC(a,Y )
is commutative, a induces a natural transformation
τa := (HomC(a, X))X∈Ob(C) : HomC(B, −) → HomC(A, −).
Definition 1.39. Let C and D be categories. The functor quasicategory Fun(C, D) has as objects all functors from C to D, as morphisms from a functor F to a functor G all natural transformations from F to G, as identi- ties the identity natural transformation, and as composition the composition of natural transformations.
Remark 1.40.
i) If C and D are small categories, then Fun(C, D) is a category. If C is small and D is large, then Fun(C, D), though being a proper quasicat- egory, is isomorphic to a category in (Cat). If C and D are both large, then Fun(C, D) will generally fail to be isomorphic to a category.
ii) A natural transformation between functors from C to D is a natural isomorphism if and only if it is an isomorphism in Fun(C, D).
Definition 1.41. A functor F : C → D is called an equivalence of categories, if there exists a functor G: D → C and natural isomorphisms ∼ ∼ F ◦ G = IdD and G ◦ F = IdC .
The functor G is then called a quasi-inverse of F . 18 CHAPTER 1. BASIC NOTIONS
Proposition 1.42. Let C and D be categories and let F : C → D be a covariant functor, then the following are equivalent:
i) F is an equivalence of categories.
ii) F is fully faithful and essentially surjective. ∼ ∼ Proof. i) ⇒ ii) Let G: D → C be a functor with F ◦G = IdD and G◦F = IdC. Fix natural isomorphisms φ: F ◦ G → IdD and ψ : G ◦ F → IdD. If Y is an object of D, then we have the isomorphism φ(Y ): F ◦ G(Y ) → Y , hence the functor F is essentially surjective. Let f : X → Y be a morphism in C, then the diagram ψ(X) G ◦ F (X) / X
G◦F (f) f G ◦ F (Y ) / Y ψ(Y ) is commutative and we have
f = ψ(Y ) ◦ (G ◦ F (f)) ◦ ψ(X)−1, which means that the morphism f can be recaptured from F (h), hence F is a faithful functor. Analogously one can show that G is a faithfull functor. If l : F (X) → F (Y ) is a morphism in D define
f := ψ(Y ) ◦ G(l) ◦ ψ(X)−1, which is an element of HomC(X,Y ). In addition we have
f = ψ(Y ) ◦ (G ◦ F (f)) ◦ ψ(X)−1, as was shown above. Since ψ(Y ) and ψ(X)−1 are isomorphisms, it follows that G(l) = G ◦ F (f). The functor G is faithful, hence we have l = F (f), which shows that F is a full functor. ii) ⇒ i) Since F is essentially surjective we can fix an object XY ∈ Ob(C) and an isomorphism φ(Y ): F (XY ) → Y for every object Y ∈ Ob(D). Define
G(Y ) = X G: D → C , Y , G(g) = fg where fg : XY → XX is the , because the functor F being fully faithful, uniquely determined morphism with
−1 F (fg) = φ(Z) ◦ g ◦ φ(Y ). 1.3. FUNCTORS 19
Then we have −1 F (idXY ) = φ(Y ) ◦ idY ◦φ(Y ) = idY , hence it follows that G(idY ) = idXY = idG(Y ). In addition it follows from F ◦ G(g ◦ g0) = φ(Z)−1 ◦ g ◦ g0 ◦ φ(Y ) = φ(Z)−1 ◦ g ◦ φ(Y ) ◦ φ(Y )−1 ◦ g0 ◦ φ(Y ) = (F ◦ G(g)) ◦ (F ◦ G(g0)) that G(g ◦ g0) = G(g) ◦ G(g0), hence G is functor. For each morphism g : Y → Z in D, the square
φ(Y ) F ◦ G(Y ) / Y
F ◦G(g) g F ◦ G(Z) / Z φ(Z) commutes, therefore the rule
φ: F ◦ G → IdD, φ = (φ(Y ))Y ∈Ob(D) is a natural isomorphism. Additionally the morphisms
φ(F (X)): F ◦ G ◦ F (X) → F (X) is an isomorphism for every object X of C. Since the functor F is fully faithful there exists a unique morphism ψ(X): G ◦ F (X) → X for each X ∈ Ob(C) and by 1.35 the morphism ψ(X) is always an isomorphism. In addition we have for every morphism f : X → X0 in C that
F ◦ G ◦ F (f) = F ◦ G(φ(F (X0))−1 ◦ F (f) ◦ φ(F (X))) = F ◦ G(F (ψ(X0))−1 ◦ F (f) ◦ F (ψ(X))) = F ◦ G ◦ F (ψ(X0)−1 ◦ f ◦ ψ(X)) and since F is faithful it follows that the diagram
ψ(X) G ◦ F (X) / X
G◦F (f) f G ◦ F (X0) / X0 ψ(X0) is commutative. Therefore the rule
ψ : G ◦ F → IdC, ψ = (ψ(X))X∈Ob(C) is a natural isomorphism, which shows that the functor F is an equivalence of categories. 20 CHAPTER 1. BASIC NOTIONS
Definition 1.43. Let C be a category. A covariant functor F : C → (Set) is called representable, if there exists an A ∈ Ob(C) and a natural isomorphism ∼ F = HomC (A, −). A contravariant functor is called representable , if there exists an B ∈ Ob(C) and a natural isomorphism ∼ F = HomC (−,B). Remark 1.44. Let F : C → (Set) be a representable covariant (resp. con- ∼ ∼ travariant) functor with F = HomC (A, −) (resp. F = HomC (−,A)) for an object A of C. Then the object A is uniquely determined by this property up to a unique isomorphism. In fact, if A and A0 are objects of C with ∼ ∼ 0 HomC (A, −) = F = HomC(A , −) 0 in Fun(C, (Set)), we have isomorphisms φ(A): HomC(A, A) → HomC(A ,A) 0 0 0 0 and φ(A ): HomC(A, A ) → HomC(A ,A ) making the diagram
φ(A) HomC (A, A) / HomC (A, A)
0 HomC(A,f) HomC(A ,f) HomC (A, A) / HomC (A, A) φ(A0) commutative, if we define f : A → A0 to be the unique morphism with 0 φ(A )(f) = idA0 . Then it follows that 0 idA0 = φ(A )(f) 0 = φ(A )(f) ◦ HomC(A, f)(idA) 0 = HomC(A , f) ◦ φ(A)(idA)
= f ◦ (φ(A)(idA)). Additionally the diagram
0 0 0 HomC(A ,φ(A)(idX )) 0 HomC (A ,A ) / HomC (A ,A)
φ(A0)−1 φ(A)−1 HomC (A, A) / HomC (A, A) HomC(A,φ(A)(idX )) commutes, hence it follows that
φ(A)(idX ) ◦ f = HomC(A, φ(A)(idA))(f) 0 = HomC(A, φ(A)(idA) ◦ φ(A )(idA0 ) −1 0 = φ(A) ◦ HomC(A , φ(A)(idA))(idA0 −1 = φ(A) ◦ φ(A)(idA) = idA 1.3. FUNCTORS 21
This shows that the morphism f : A → A0 is an isomorphism with inverse 0 φ(A)(idA): A → A. Proposition 1.45 (Yoneda Lemma). Let C be a category and let F : C → (Set) be a covariant functor. For every object A of C the map
Y : Nat(HomC(A, −),F ) → F (A) defined by Y(τ) = τ(A)(idA), is bijective. Proof. Define a mapping
ψ : F (A) → Nat(HomC(A, −),F ) in the following way: For Y ∈ Ob(C) and s ∈ F (A) let ψ(s)(Y ) be given by the composition
HomC(A, Y ) / Hom(Set)(F (A),F (Y ) / F (Y ) f / F (f) / F (f)(s). 0 For a morphism g : Y → Y and every f ∈ HomC(A, Y ) we have 0 0 (ψ(s)(Y ) ◦ HomC(A, g))(f) = ψ(s)(Y )(g ◦ f) = (F (g) ◦ F (f))(s) = F (g)(F (f)(s)) = F (g)(ψ(s)(Y )(f)) = (F (g) ◦ ψ(s)(Y ))(f), hence the diagram
ψ(s)(Y ) HomC(A, Y ) / F (Y )
HomC(A,g) F (g) HomC(A, Y ) / F (Y ) ψ(s)(Y 0) commutes. This shows that ψ(s) is indeed a natural transformation. In addition we have Y ◦ ψ(s) = Y(ψ(s))
= ψ(s)(A)(idA)
= F (idA)(s) = s for all s ∈ F (A), which shows that Y ◦ ψ = idF (A). For τ ∈ Nat(HomC(A, −),F ) and g ∈ HomC(A, Y ) the diagram
τ(X) HomC(A, A) / F (A)
HomC(A,g) F (g) HomC(A, Y ) / F (A) τ(Y ) 22 CHAPTER 1. BASIC NOTIONS commutes, hence we have
ψ ◦ Y(τ)(g) = ψ(τ(A)(idA))(g)
= F (g)(τ(A)(idA))
= τ(Y ) ◦ HomC(A, g)(idA) = τ(Y )(g).
This shows that ψ ◦ Y = idNat(HomC(A,−),F ) and therefore the mapping Y is a bijection.
Remark and Definition 1.46 (Yoneda Embedding). Let C be a cate- gory and let f : A → B be a morphism in C. Define
E(f)(X): HomC(B,X) → HomC(A, X), h 7→ h ◦ f for each object X of C. If g : X → Y is another morphism in C, the diagram
E(f)(X) HomC(B,X) / HomC(A, X)
HomC(B,g) HomC(A,g) HomC(B,Y ) / HomC(A, Y ) E(f)(Y ) is commutative, since
HomC(A, g) ◦ E(f)(X)(h) = HomC(A, g)(h ◦ f) = g ◦ h ◦ f = E(f)(Y )(g ◦ h)
= E(f)(Y ) ◦ HomC(B, g).
Therefore E(f) := (E(f)(X))X∈Ob(C) is a natural transformation from the functor HomC(B, −) to HomC(A, −). In addition we have
E(idA) = idHomC(A,−) E(f 0 ◦ f) = E(f 0) ◦ E(f), therefore the rule
A 7→ Hom (A, −) E : C → Fun(C, (Set)) , C f 7→ E(f) is a contravariant functor, the so-called Yoneda Embedding.
Proposition 1.47. For every category C the functor E : C → Fun(C, (Set)) defined above is fully faithful. 1.3. FUNCTORS 23
Proof. By 1.45 we have a bijection
Y : Nat(HomC(B, −), HomC(A, −)) → HomC(A, B), with Y(τ) = τ(A)(idA). Then
(Y )(E(f)) = E(f)(A)(idA) = idA ◦f = f, which shows that the mapping f 7→ E(f) is bijective.
Remark 1.48. For every category C one also has the contravariant Yoneda embedding
A 7→ Hom (−,A) E0 : C → Fun(C, (Set)) , C f 7→ E0(f) with E0(f)(X)(h) = f ◦ h. In analogy to the above one can show that E0 is also a fully faithful functor. 24 CHAPTER 1. BASIC NOTIONS Chapter 2
Additive Categories
2.1 Pre-additive Categories
Definition 2.1. A category C is called preadditive, if it has the following properties: PA1 C possesses a zero object.
PA2 Each of the sets HomC(X,Y ) carries the structure of an abelian group, written additively, and this structure is compatible with the composi- tion of C, in the sense that the distributive laws
(f + g) ◦ h = f ◦ h + g ◦ h f ◦ (g + h) = f ◦ g + f ◦ h
hold on morphisms whenever the terms are defined. Remark 2.2. If C is a preadditive category, then the dual category Cop is also preadditive.
Remark 2.3. Let C be a preadditive category. If eX,Y is the neutral element of the abelian group HomC(X,Y ) and f : X → Y is an arbitrary morphism it follows from
eY,Y ◦ f = (eY,Y + eY,Y ) ◦ f = eY,Y ◦ f + eY,Y ◦ f that eY,Y ◦ f = eX,Y . Especially, if 0X,Y is the zero morphism, we have 0X,Y = eY,Y ◦ 0X,Y by 1.19, hence
0X,Y = eY,Y ◦ 0X,Y = eX,Y and thus the zero morphism 0X,Y is the neutral element of HomC(X,Y ) for all X,Y ∈ Ob(C). From now on we will simply write “0” instead of 0X,Y . Example 2.4.
25 26 CHAPTER 2. ADDITIVE CATEGORIES
i) The categories (Ab), (F − V ec), (TVS), (LCS) and (LCS)HD are all preadditive categories.
ii) If f, g : R → S are two morphisms in the category (Ring1), we have
f(1R) + g(1R) = 1S + 1S
and therefore the elementwise addition of ring morphisms that preserve the unity does not itself preserve the unity. The category (Ring1) is therefore not preadditive with this addition.
Definition 2.5. Let C be a preadditive category. A full preadditive subcat- egory C0 of a preadditive category C is a full subcategory that also contains the zero object.
Definition 2.6. Let C and D be preadditive categories. A covariant functor F : C → D is called additive if
F (f + g) = F (f) + F (g) holds, for all morphisms f, g ∈ HomC(X,Y ) and all X,Y ∈ Ob(C). A contravariant functor is called additive if it is additive as a covariant functor from Cop to D.
Remark 2.7.
i) Let F : C → D be an additive functor between preadditive categories. From F (0) = F (0 + 0) = F (0) + F (0) it follows that F (0) = 0.
ii) If C is a preadditive category, then the duality functor is an additive functor.
iii) If C is a preadditive category and A an object of C, the functors X 7→ HomC(A, X) HomC(A, −): C → (Ab) , , α 7→ HomC(A, α)
and Z 7→ HomC(Z,A) HomC(−,A): C → (Ab) , , γ 7→ HomC(γ, A) are additive functors, because of
HomC(A, f + g)(h) = (f + g) ◦ h = f ◦ h + g ◦ h
= HomC(A, f)(h) + HomC(A, g)(h) 2.2. KERNELS AND COKERNELS 27
and
HomC(f + g, A)(l) = l ◦ (f + g) = l ◦ f + l ◦ g
= HomC(f, A)(l) + HomC(g, A)(l).
2.2 Kernels and Cokernels
Definition 2.8. Let C be a preadditive category and let f : X → Y be a morphism in C.
i) A kernel of f is a morphism k : K → X with f ◦ k = 0 that satisfies the following universal property: For every morphism t: T → X with f ◦ t = 0 there exists a unique morphism λ: T → K with t = k ◦ λ, i.e. making the diagram
k f K / X / Y O > }} λ }} }} t }} T
commutative.
ii) A cokernel of f is a morphism c: Y → C with c ◦ f = 0 that satisfies the following universal property: For every morphism s: Y → S with s ◦ f = 0 there exists a unique morphism µ: C → S with s = µ ◦ c, i.e. making the diagram
f c X / Y / C ~ s ~ ~ µ ~ S
commutative.
iii) The domain of a kernel k of f is called a kernel-object of f and the codomain of a cokernel c of f is called a cokernel-object of f.
iv) The category C is said to have kernels if every morphism f : X → Y has a kernel.
v) The category C is said to have cokernels if every morphism f : X → Y has a cokernel.
Remark 2.9. Let C be a preadditive category. 28 CHAPTER 2. ADDITIVE CATEGORIES
i) A cokernel of a morphism is the dual notion of the kernel of a mor- phism, i.e. if k ∈ HomC(K,X) is the kernel of a morphism f ∈ op HomC(X,Y ), then k ∈ HomCop (X,K) is the cokernel of the mor- op phism f ∈ HomCop (Y,X). ii) Kernel and cokernel of a morphism are uniquely determined up to a unique isomorphism: If k : K → X and k0 : K0 → X are two kernels of a morphism f : X → Y , then the universal property of k gives rise to a unique morphism λ: K0 → K with k0 = k◦λ and the universal property of k0 gives rise to a unique morphism λ0 : K → K0 with k = k0 ◦ λ0. In 0 addition, the universal properties of k and k show that idK and idK0 0 0 are unique with k ◦ idK = k and k ◦ idK0 = k respectively. Since
k ◦ λ ◦ λ0 = k0 ◦ λ0 = k k0 ◦ λ0 ◦ λ = k ◦ λ = k0
0 0 0 it follows that λ ◦ λ = idK and λ ◦ λ = idK0 , hence λ and λ are isomorphisms inverse to each other. The dual argument shows that the cokernel of f is uniquely determined up to a unique isomorphism.
Example 2.10.
i) In (F − V ec) the kernel of a linear mapping f : X → Y is the inclusion f −1({0}) ,→ X, x 7→ x. The cokernel of f is the quotient map Y → Y/f(X), y 7→ y + f(X). Since every morphism f has a kernel and a cokernel, the category (F − V ec) has kernels as well as cokernels. The same is true in the category (Ab) of abelian groups (written additively) and group morphisms.
ii) In the category (TVS) of topological vector spaces the kernel of a con- tinous linear mapping f : X → Y is also the embedding f −1({0}) ,→ X, where f −1({0}) is endowed with the topology induced by X and the cokernel of f is also the quotient map Y → Y/f(X), where Y/f(X) is endowed with the quotient topology. Therefore the category (TVS) has kernels as well as cokernels. All this is the same in the category (LCS).
iii) The kernel of a morphism f : X → Y in the category (LCS)HD is the same as in the category (LCS), whereas the cokernel of f is the mapping Y → Y/f(X), y 7→ y + f(X), where Y/f(X) is endowed with the quotient topology.
Proposition 2.11. Let C be a preadditive category.
i) Kernels are monomorphisms.
ii) Cokernels are epimorphisms. 2.2. KERNELS AND COKERNELS 29
Proof. It suffices to show i), since ii) is the dual statement. If f : X → Y is a morphism in a category C, k : K → X a kernel of f and g1, g2 : T → K two morphisms with k ◦ g1 = k ◦ g2, then we have f ◦ k ◦ g1 = f ◦ k ◦ g2 = 0, hence there exists exactly one morphism λ: T → K with k ◦ λ = k ◦ g1 = k ◦ g2 and therefore we have g1 = g2, which shows that k is a monomorphism. Definition 2.12. Let C be a preadditive category and f : X → Y be a morphism in C. i) An image of f is a kernel of a cokernel of f, i.e. if c: Y → C is a cokernel of f, then an image of f is a morphism i: I → Y with c ◦ i = 0, so that for every other morphism t: T → Y with c ◦ t = 0 there exists a unique morphism λ: T → I making the diagram
i c I / Y / C O ? ~~ λ ~ ~~t ~~ T commutative.
ii) A coimage of f is a cokernel of a kernel of f, i.e. if k : K → X is a kernel of f, then a coimage of f is a morphism q : X → Q with q ◦ k = 0, so that for every other morphism s: X → S with s ◦ k = 0 there exists a unique morphism µ: Q → S making the diagram
k q K / X / Q ~ s ~ ~ µ ~ S commutative.
iii) The domain of an image i of f is called an image-object of f and the codomain of a coimage q of f is called a coimage-object of f. Remark 2.13. i) The coimage of a morphism is the dual notion of the image of a mor- phism.
ii) Remark 2.9.iii) shows that image and coimage of a morphism are uniquely determined uo to a unique isomorphism. Example 2.14.
i) In (F − V ec) the image of a morphism f : X → Y is the inclusion f(X) ,→ Y, y 7→ y and the coimage of f is the quotient map X → X/f −1({0}), x 7→ x + f −1({0}). 30 CHAPTER 2. ADDITIVE CATEGORIES
ii) In the category (TVS) of topological vector spaces the image of a conti- nous linear mapping f : X → Y is also the inclusion f(X) ,→ Y , where f(X) is endowed with the topology induced by Y and the coimage of f is also the quotient map X → X/f −1({0}), where X/f −1({0}) is en- dowed with the quotient topology. All this is the same in the category (LCS).
iii) The image of a morphism f : X → Y in the category (LCS)HD is the inclusion f(X) ,→ Y, y 7→ y, where f(X) is endowed with the topology induced by Y . The coimage of f in (LCS)HD is the same as in the category (LCS), since f −1({0}) is a closed subspace of X when endowed with the induced topology. Notation 2.15. Let f : X → Y be a morphism in a category C. By 2.9.iii) we know that kernel and cokernel of f are unique up to a unique isomor- phism. From now on kf : ker f → X will denote the kernel of f,
cf : Y → cok f the cokernel of f, if : im f → Y the image of f, and cif : X → coim f will denote the coimage of f. Definition 2.16. Let C be a preadditive category and let C0 be a full pread- ditive subcategory C0 of C. i) C0 is said to reflect kernels if whenever
f g X / Y / Z
is a sequence in C such that f is a kernel of g and Y and Z are objects of C0, it follows that also X is an object of C0 (and therefore f is also a kernel of g in C0).
ii) C0 is said to reflect cokernels if whenever
f g X / Y / Z
is a sequence in C such that g is a cokernel of f and X and Y are objects of C0, it follows that also Z is an object of C0 (and therefore g is also a kernel of f in C0). 2.2. KERNELS AND COKERNELS 31
Example 2.17.
i) (LCS) is a full preadditive subcategory of (TVS) that reflects both kernels and cokernels.
ii) (LCS)HD is a full preadditive subcategory of (TVS) that reflects ker- nels, but does not reflect cokernels.
iii) Let (BOR) be the category of bornological locally convex spaces and continous linear mappings (cf. [6, §23,1.5] and [6, §11,2.3]). Since quo- tients of bornological spaces are again bornological (cf. [6, §23,2.93]), the category (BOR) is a full preadditive subcategory of (TVS) that reflects cokernels. On the other hand subspaces of bornological spaces need not be bornological (cf. [19, 6.3]) and therefore (BOR) does not reflect the kernels of (TVS).
iv) Let (LCS)c be the category of complete locally convex spaces and con- tinous linear mappings. It is a full preadditive subcategory of (TVS). For a morphism f : X → Y in (LCS)c the subspace f −1({0}) is com- plete with regard to the topology induced by X if and only if it is closed in X, hence (LCS)c does not reflect the kernels of (TVS). In addition, the quotient Y/f(X) is in general not a complete space (cf. [20, §31, 6]) and therefore (LCS)c does not reflect the cokernels of (TVS).
Remark 2.18. Let C be a preadditive category and let
f X / Y
α β
0 0 X g / Y be a commutative diagram in C. If f and g both possess a kernel, we have
g ◦ α ◦ kf = β ◦ f ◦ kf = 0, hence the universal property of the kernel kg gives rise to a unique morphism λ: ker f → ker g making the diagram
kf f ker f / X / Y λ α β ker g / X0 / Y 0 kg g commutative. By duality we obtain that, if f and g both possess a cokernel, there exists a 32 CHAPTER 2. ADDITIVE CATEGORIES unique morphism µ: cok f → cok g making the diagram
f cf X / Y / cok f α β µ cg 0 0 X g / Y / cok g commutative. Remark 2.19. Since the diagrams
idX X and X / X @ @@ f }} f @@ f }} @@ }} f @ ~}} Y / YY idY commute for every morphism f : X → Y , the identity idY : Y → Y is the kernel of the morphism Y → 0 and the identity idX : X → X is the cokernel of the morphism 0 → X. Lemma 2.20. Let f : X → Y be a morphism in a preadditive category C. Then the following are equivalent: i) f is a monomorphism.
ii) 0 → X is a kernel of f. Proof. i) ⇒ ii) Let t: T → X be a morphism with f ◦t = 0. Then f ◦t = f ◦0 and since f is a momomorphism it follows that t = 0, i.e. the diagram
t f T / X / Y > ~~ ~~ ~~ ~ 0 ~ commutes, which shows that 0 → X is a kernel of f. ii) ⇒ i) Let g1, g2 : T → X be two morphisms with f ◦ g1 = f ◦ g2. Then f ◦ (g1 − g2) = 0 and since 0 → X is a kernel of f the diagram
g1−g2 f T / X / Y > ~~ ~~ ~~ ~ 0 ~ commutes, which shows that g1 = g2. Hence f is a monomorphism. By duality we obtain: 2.2. KERNELS AND COKERNELS 33
Lemma 2.21. Let f : X → Y be a morphism in a preadditive category C. Then the following are equivalent:
i) f is an epimorphism.
ii) Y → 0 is a cokernel of f.
Lemma and Definition 2.22. Let f : X → Y be a morphism in a preaddi- tive category C that possesses a kernel, a cokernel, an image and a coimage. Then there exists a unique morphism
fe: coim f → im f making the following diagram commutative:
kf f cf ker f / X / Y / cok f O cif if coim f ___ / im f fe
The factorization f = if ◦ fe◦ cif is called the canonical factorization of f. Proof. Consider the following diagram (in which we first ignore the dotted arrows)
kf f cf ker f / X / Y / cok f . v: O v cif v if v λ1 v coim f ___ / im f fe
Since f ◦kf = 0 the universal property of cif gives rise to a unique morphism λ1 : coim f → Y with λ1 ◦ cif = f. Because of
cf ◦ f = cf ◦ λ1 ◦ cif = 0 and since cif is an epimorphism, it follows that cf ◦ λ1 = 0. The universal property of if then gives rise to a unique morphism fe: coim f → im f with λ1 = if ◦ fe. It follows that
f = λ1 ◦ cif = if ◦ fe◦ cif .
Definition 2.23. Let f : X → Y be a morphism in a preadditive category C that possesses a canonical factorization. The morphism f is called strict, if the induced morphism fe: coim f → im f is an isomorphism. 34 CHAPTER 2. ADDITIVE CATEGORIES
Example 2.24.
i) A morphism f : X → Y in the category (TVS) is strict if and only if it is open onto its range. The same is true for the category (LCS).
ii) A morphism f : X → Y in the category (LCS)HD is strict if and only it is open onto its range and has closed range.
Lemma 2.25. Let f : X → Y be a morphism in a preadditive category C that possesses a canonical factorization.
i) The kernel of f is also a kernel of the coimage of f.
ii) The cokernel of f is also a cokernel of the image of f.
Proof. It suffices to show i), since ii) is the dual statement of i). Naturally we have cif ◦ kf = 0. Let t: T → X be a morphism with cif ◦ t = 0, then we have also f ◦ t = if ◦ fe◦ cif ◦ t = 0, hence the universal property of the kernel gives rise to a unique morphism λ: T → ker f with t = kf ◦ λ and λ is unique with this property, since kf is a monomorphism. Hence kf is a kernel of cif .
Corollary 2.26. Let f : X → Y be a morphism in a preadditive category C that possesses a canonical factorization and is strict.
i) A morphism k : K → X is a kernel of f if and only if it is the kernel of cif : X → coim f.
ii) A morphism c: Y → C is a cokernel of f if and only if it is the cokernel of if : im f → coim Y .
Proof. It suffices to show i), since ii) is the dual statement. The direction ⇒ is just 2.25. If k is a kernel of cif and t: T → X is a morphism with f ◦ t = 0 and therefore if ◦ fe◦ cif ◦ t = 0 it follows that cif ◦ t = 0, since if ◦ fe is a monomorphism by assumption. Therefore the universal property of the kernel k gives rise to a unique morphism λ: T → K with t = k ◦ λ and λ is unique with this property, since k is a monomorphism.
Proposition 2.27. Let f : X → Y be a morphism in a preadditive category C that possesses a canonical factorization.
i) The morphism f is a strict monomorphism if and only if it is the kernel of its cokernel.
ii) The morphism f is a strict epimorphism if and only if it is the cokernel of its kernel. 2.2. KERNELS AND COKERNELS 35
Proof. Since ii) is the dual statement of i) it suffices to show i). If f is a strict monomorphism, then we have a canonical isomorphism fe: coim f → im f and by 2.20 we know that 0 → X is a kernel of f. Then idX : X → X is, as the cokernel of 0 → X, a coimage of f and thus the canonical factorization reads f = if ◦ fe. Since fe is an isomorphism, we see that f is its own image. If f is the kernel of its cokernel, then f is a monomorphism and thus cif is an isomorphism, since we have seen above that the identity idX : X → X is also a coimage of f. Then we have
f = f ◦ fe◦ cif and since f is a monomorphism and cif an isomorphism it follows that −1 fe = cif , hence f is a strict monomorphism. Notation 2.28. Because of the above proposition 2.27 a strict epimorphism in a preadditive category C is also called a cokernel and a strict monomor- phism is also called a kernel. Corollary 2.29. Let f : X → Y be a morphism in a preadditive category C that possesses a canonical factorization. i) The kernel of f is a strict monomorphism. ii) The cokernel of f is a strict epimorphism. Proof. This follows directly from 2.25 and 2.27.
Proposition 2.30. Let f : X → Y be a morphism in a preadditive category C that possesses a canonical factorization. Then the following are equivalent: i) f is a strict morphism. ii) There exists a strict epimorphism f 0 : X → Z and a strict monomor- phism f 00 : Z → Y with f = f 00 ◦ f 0.
Proof. i) ⇒ ii) We have f = if ◦ fe◦ cif , where fe is an isomorphism, and by 2.29 the morphism if is a strict monomorphism and fe◦ cif is a strict epimorphism. ii) ⇒ i) Since f 00 is a monomorphism, the properties f ◦t = f 00 ◦f 0 ◦t = 0 and f 0 ◦t = 0 are equivalent for every morphism t: T → X. Hence f and f 0 have isomorphic kernels. It follows that the coimage of f and f 0 are isomorphic and since f 0 is its own coimage by 2.27, the morphism f 0 is a coimage of f. Dually we obtain that f 00 is an image of f. Since the diagram
kf f cf ker f / X / Y / cok f O f 0 f 00 Z / Z idZ 36 CHAPTER 2. ADDITIVE CATEGORIES commutes and the above shows that this is the canonical factorization of f, it follows that fe = idZ , hence f is a homomorphism. Remark 2.31. The above proposition 2.30 shows that the following are equivalent for a morphism f : X → Y in a preadditive category C that possesses a canonical factorization: i) f is a strict morphism in C. ii) f op is a strict morphism in Cop.
2.3 Pullback and Pushout
Definition 2.32. Let f : F → E and g : G → E be two morphisms in a category C.A pullback of f and g is a triple (P, pG, pF ) consisting of an object P and morphisms pG : P → G, pF : P → F making the diagram
pF P / F
pG f G g / E commutative and possessing the following universal property: For every triple (Q, qG, qF ), where Q is an object and qG : Q → G, qF : Q → F are morphisms with f ◦ qF = g ◦ qG there exists a unique morphism λ: Q → P with qF = pF ◦ λ and qG = pG ◦ λ, i.e. the diagram
Q q ? F ? λ ? ? pF P / F qG pG f " G g / E is commutative. The category C is said to have pullbacks, if the pullback of every two mor- phisms f : F → E and g : G → E exists. From now on we say that the diagram
pF P / F
pG f G g / E is a pullback square, if (P, pG, pF ) is a pullback of f and g. 2.3. PULLBACK AND PUSHOUT 37
The dual notion of the above is the following:
Definition 2.33. Let f : E → F and g : E → G be two morphisms in a category C.A pushout of f and g is a triple (S, sG, sF ) consisting of an object S and morphisms sG : G → S, sF : F → S making the diagram
f E / F
g sF G / S sG commutative and possessing the following universal property: For every triple (T, tG, tF ), where T is an object and tG : G → T , tF : F → T are morphisms with sF ◦f = sG◦g there exists a unique morphism µ: Q → P with tF = µ ◦ sF and tG = µ ◦ sG, i.e. the diagram
f E / F
g sF tF G s / S G @@ @@ µ @@ @ tG / T is commutative. The category C is said to have pushouts, if the pushout of every two mor- phisms f : E → F and g : E → G exists. From now on we say that the diagram
f E / F
g sF G / S sG is a pushout square, if (S, sG, sF ) is a pullback of f and g.
Remark 2.34. The pullback (P, pG, pF ) of two morphisms f : F → E and g : G → E is uniquely determined up to a unique isomorphism: The proof is more or less analogous to that of the uniqueness of kernels and cokernels in 0 0 0 2.9.iii). If (P , pG, pF ) is another pullback of f and g there exists a unique 0 0 0 morphism λ: P → P with pG = pg ◦ λ and pF = pF ◦ λ, as well as a unique 0 0 0 0 0 0 morphism λ : P → P with pG = pG ◦ λ and pF = pF ◦ λ . The identities idP and idP 0 are the unique morphisms with pG = pG ◦ idP , pF = pF ◦ idP 38 CHAPTER 2. ADDITIVE CATEGORIES
0 0 0 0 and pG = pG ◦ idP 0 , pF = pF ◦ idP 0 respectively, and since we have 0 0 0 pG ◦ λ ◦ λ = pG ◦ λ = pG 0 0 0 pF ◦ λ ◦ λ = pF ◦ λ = pF 0 0 0 pG ◦ λ ◦ λ = pG ◦ λ = pG 0 0 0 pF ◦ λ ◦ λ = pF ◦ λ = pF
0 0 0 it follows that λ◦λ = idP and λ ◦λ = idP 0 , hence λ and λ are isomorphisms inverse to each other. By duality we obtain that the pushout (S, sG, sF ) of two morphisms f : E → F and g : E → G is uniquely determined up to a unique isomorphism. Example 2.35. i) If g : Y → Z and t: T → Z are two morphisms in the category (TVS), the space P := {(y, r) ∈ Y × T | g(y) = t(r)}, endowed with the topology induced by the product topology, together with the restrictions of the projections Y × T → Y and Y × T → T is a pullback of g and t in (TVS). For morphisms f : X → Y and t: X → T in (TVS) the space
S := (Y × T )/L
with L := {(f(x), t(x))| x ∈ X}, endowed with the quotient topology, together with the compositions of the canonical morphisms Y → Y ×T and T → Y × T with the quotient map Y × T → S is a pushout of f and t in (TVS). The category (LCS) has the same pullbacks and pushouts as (TVS).
ii) The pullback of two morphisms in the category (LCS)HD is the same as in the (TVS), whereas the pushout of two morphisms f : X → Y and t: X → T in (LCS)HD is the space
S := (Y × T )/L,
with L defined as in i), together with the compositions of the canonical morphisms Y → Y × T and T → Y × T with the quotient map Y × T → S. Remark 2.36. Every commutative diagram
f X / Y
φ1 (1) φ2 X0 / Y 0 f 0 2.3. PULLBACK AND PUSHOUT 39 with isomorphisms φ1 and φ2 is a pushout as well as a pullback square. 0 In fact, if lX : Y → L and lX0 : X → L are morphisms with lX0 ◦ φ1 = lY ◦ f, then we have
−1 lY = lY ◦ φ2 ◦ φ2 −1 −1 0 lX0 = lY ◦ f ◦ φ1 = lY ◦ φ2 ◦ f −1 and lY ◦ φ2 is unique with this property, therefore (1) is a pushout square. The dual argument shows that (1) is also a pullback square. Proposition 2.37. Let C be category and
α1 α2 X / Y / Z
γ1 (1) γ2 (2) γ3 X0 / Y 0 / Z0 β1 β2 a commutative diagram. i) If (1) and (2) are pullback squares, then the outer rectangle (1) + (2) is a pullback square.
ii) If the outer ractangle (1) + (2) and (2) are pullback squares, then (1) is a pullback square.
iii) If (1) and (2) are pushout squares, then the outer rectangle (1) + (2) is a pushout square.
iv) If the outer ractangle (1) + (2) and (1) are pushout squares, then (2) is a pushout square. Proof. Since iii) and iv) are the dual statements of i) and ii) it suffices to show these two. 0 i) Let tX0 : T → X and tZ : T → Z be morphisms with γ3 ◦tZ = β2 ◦β1 ◦tX0 . The universal property of (2) then gives rise to a unique morphism λ1 : T → Y with β1 ◦ tX0 = γ2 ◦ λ1 and tZ = α2 ◦ λ1. Then the universal property of (1) gives rise to a unique morphism λ2 : T → X with tX0 = γ1 ◦ λ2 and λ1 = α1 ◦ λ2, i.e. making the diagram
tZ T ] Z A U P A λ K A 1 E λ2 A > α1 α2 X / Y / Z tX0 γ1 (1) γ2 (2) γ3 " X0 / Y 0 / Z0 β1 β2 40 CHAPTER 2. ADDITIVE CATEGORIES
commutative. Then α2 ◦ α1 ◦ λ2 = α2 ◦ λ1 = tZ and γ1 ◦ λ2 = tX0 . If µ: T → X is another morphism with α2 ◦ α1 ◦ µ = tZ and γ1 ◦ µ = tX0 , then β1 ◦ tX0 = β1 ◦ γ1 ◦ µ = γ2 ◦ α1 ◦ µ and this together with α2 ◦ α1 ◦ µ = tZ shows that α1 ◦ µ = λ1, because of the uniqueness of λ2. Then the uniqueness of λ2 yields λ2 = µ, which shows that the outer recatngle (1) + (2) is a pullback square. 0 ii) Let tX0 : T → X and tY : T → Y be morphisms with γ2 ◦ tY = β1 ◦ tX0 . Then γ3 ◦ α2 ◦ tY = β2 ◦ γ2 ◦ tY = β2 ◦ β1 ◦ tX0 , hence the universal property of the outer rectangle (1) + (2) gives rise to a unique morphism λ1 : T → X with α2 ◦ tY = α2 ◦ α1 ◦ λ1 and γ1 ◦ λ1 = tX0 .
T t A Y A A (3) λ1 A α1 α2 X / Y / Z tX0 γ1 (1) γ2 (2) γ3 " X0 / Y 0 / Z0 β1 β2
We have to show that the triangle (3) is commutative. Since (2) is a pullback square and the diagrams
T α2◦tY and T α2◦tY AA AA AA tY AAα1◦λ1 AA AA AA AA α2 α2 Y / Z Y / Z tX0 ◦β1 tX0 ◦β1 γ2 (2) γ3 γ2 (2) γ3 " " Y 0 / Z0 Y 0 / Z0 β1 β1 are both commutative, it follows that tY = α1 ◦ λ1. The morphism λ1 is unique with tX0 = γ1 ◦ λ1 and tY = α1 ◦ λ1 because of the universal property of the outer rectangle (1)+(2), hence (1) is a pullback square.
Proposition 2.38. Let C be a category and let
pF P / F
pG f G g / E be a pullback square. 2.3. PULLBACK AND PUSHOUT 41
i) If g is a monomorphism, then pF is a monomorphism.
ii) If g is a retraction, then pF is a retraction.
iii) If g is an isomorphism, then pF is an isomorphism.
Proof. i) Let α1, α2 : Q → P be morphisms with pT α1 = pT ◦ α2. Then we have g ◦ pY ◦ α1 = t ◦ pT ◦ α1 = t ◦ pT ◦ α2 = g ◦ pY ◦ α2 (∗) and since g is a monomorphism, it follows that pY ◦ α1 = pY ◦ α2. Therefore the diagram Q ? pF ◦α1 ? α ?? ?? 1 ?? ?? α2 ?? ? ? pF P / F pG◦α2 pG f * G g / E commutes and the universal property of the pullback gives α1 = α2, hence pF is a monomorphism. ii) Let h: Z → Y be a morphism with g ◦ h = idZ . Then we have
f ◦ idF = f = idZ ◦f = g ◦ h ◦ f, hence the universal property of the pullback gives rise to a unique morphism λ: F → P , making the diagram
F id @ F @ λ @ @ pF P / F h◦f pG f " G g / E commutative, which shows that pF is a retraction. iii) Follows immediately from i), ii) and 1.16.
By duality we get: Proposition 2.39. Let C be a category and let
f E / F
g sF G / S sG be a pushout square. 42 CHAPTER 2. ADDITIVE CATEGORIES
i) If f is an epimorphism, then sG is an epimorphism.
ii) If f is a coretraction, then sG is a coretraction.
iii) If f is an isomorphism, then sG is an isomorphism.
2.4 Product, Coproduct and Biproduct
Definition 2.40. Let C be a category and X and Y be two objects of C.A product of X and Y is a triple (P, πX , πY ), where P is an object of C and πX : P → X,πY : P → Y are morphisms that fulfill the following universal property: For every triple (T, tX , tY ) with T ∈ Ob(C) and morphisms tX : T → X, tY : P → Y there exists a unique morphism λ: T → P with tX = πX ◦ λ and tY = πY ◦ λ, i.e. making the diagram
tX / X π ~> X ~~ ~~ λ ~~ T ___ / P @ @@ @@ πY @@ @ tY / Y commutative. The category C is said to have products, if a product of every two objects exists. The dual notion of the above is the following: Definition 2.41. Let C be a category and X and Y be two objects of C.A coproduct of X and Y is a triple (S, ωX , ωY ), where S is an object of C and ωX : X → S,ωY : Y → S are morphisms that fulfill the following universal property: For every triple (R, rX , rY ) with R ∈ Ob(C) and morphisms rX : X → R, rY : Y → R there exists a unique morphism µ: S → R with rX = µ ◦ ωX and rY = µ ◦ ωY , i.e. making the diagram
X r @ X @ ω @@ X @@ @ µ S ___ / R ~? B ~~ ~~ωY ~~ Y rY commutative. 2.4. PRODUCT, COPRODUCT AND BIPRODUCT 43
The category C is said to have coproducts, if the coproduct of every two objects exists.
Remark 2.42. The product (P, πX , πY ) of two objects X and Y in a cate- gory C is uniquely determined up to a unique isomorphism: The proof is in strict analogy to the uniqueness of pullback and pushout shown in 2.34. If 0 0 0 (P , πX , πY ) is another product of X and Y there exists a unique morphism 0 0 0 λ: P → P with πX = πX ◦λ and πY = πY ◦λ, as well as a unique morphism 0 0 0 0 0 0 λ : P → P with πX = πX ◦ λ and πY = πY ◦ λ . The identities idP and idP 0 are the unique morphisms with πX = πX ◦ idP , πY = πY ◦ idP and 0 0 0 0 πX = πX ◦ idP 0 , πY = πY ◦ idP 0 respectively, and since we have 0 0 0 πX ◦ λ ◦ λ = πX ◦ λ = πX 0 0 0 πY ◦ λ ◦ λ = πY ◦ λ = πY 0 0 0 πX ◦ λ ◦ λ = πX ◦ λ = πX 0 0 0 πY ◦ λ ◦ λ = πY ◦ λ = πY
0 0 0 it follows that λ◦λ = idP and λ ◦λ = idP 0 , hence λ and λ are isomorphisms inverse to each other. By duality we obtain that the coproduct (S, ωX , ωY ) of two objects X and Y is uniquely determined up to a unique isomorphism. Notation 2.43. Let C be a category. Since by 2.42 the product of two objects X and Y in C is uniquely determined up to a unique isomorphism we will write from now on
(X × Y, πX , πY ) for the product of X and Y , and
(X ⊕ Y, ωX , ωY ) for the coproduct of X and Y . Example 2.44. In the category (TVS) the product of two objects X and Y is the space X × Y = {(x, y)| x ∈ X, y ∈ Y }, endowed with the product topology, together with the canonical maps X × Y →, (x, y) 7→ x and X × Y →, (x, y) 7→ y. The coporoduct of X and Y is the same space X × Y together with the canonical maps X → X × Y, x 7→ (x, 0) and X → X × Y, y 7→ (0, y). Definition 2.45. Let C be a category and let C0 be a full subcategory of C. i) C0 is said to reflect products if for all objects X and Y in C0 the product 0 X × Y in C is also an object of C (and therefore (X × Y, πX , πY ) is also a product of X and Y in C0). 44 CHAPTER 2. ADDITIVE CATEGORIES
ii) C0 is said to reflect coproducts if for all objects X and Y in C0 the coproduct X ⊕ Y in C is also an object of C0 (and therefore (X ⊕ 0 Y, ωX , ωY ) is also a coproduct of X and Y in C ). Example 2.46. All full subcategories of (TVS) discussed this far reflect the products and coproducts of (TVS).
Remark 2.47. Let C be a category that possesses a zero object 0 and let X and Y be two objects of C. A triple (P, πX , πY ) is a product of X and Y if and only if the commutative diagram
πX P / X
πY Y / 0 is a pullback square.
Dually, a triple (S, ωX , ωY ) is a coproduct of X and Y if and only if the commutative diagram 0 / X
ωX Y / S ωY is a pushout square.
Definition 2.48. Let C be a preadditive category and let X and Y be two objects of C.A biproduct of X and Y is a tuple (B, πX , πY , ωX , ωY ), with B ∈ Ob(C) and morphisms
ωX πY / / X o B o Y πX ωY that satisfy the following equations:
πX ◦ ωX = idX , πX ◦ ωY = 0
πY ◦ ωY = idX , πY ◦ ωX = 0
idB = ωX ◦ πX + ωY ◦ πY
The category C is said to have biproducts, if the biproduct of every two objects exists.
Remark 2.49. Let C be a preadditive category and let
(B, πX , πY , ωX , ωY ) be a biproduct of two objects X and Y in C. 2.4. PRODUCT, COPRODUCT AND BIPRODUCT 45
i) It is clear that πX and πY are retractions and ωX and ωY are core- tractions.
ii) If D is another preadditive category and F : C → D is an additive functor (covariant or contravariant) we have F (0) = 0 by 2.7. This together with the functor properties and the additivity of F shows that (F (B),F (πX ),F (πY ),F (ωX ),F (ωY )) is a biproduct in D.
op op op op op iii) The tuple (B, ωX , ωY , πX , πY ) is a biproduct of X and Y in C , since the duality functor op : C → Cop is additive. Hence the notion of biproduct is self-dual.
Proposition 2.50. Let C be a preadditive category and let
(B, πX , πY , ωX , ωY ) be a biproduct of X,Y ∈ Ob(C).
i) ωX is a kernel of πY and ωY is a kernel of πX .
ii) πY is a cokernel of ωX and πX is a cokernel of ωY .
op op op op Proof. By 2.49.iii) we know that (B, , ωX , ωY , πX , πY ) is a biproduct of X and Y in Cop, hence it suffices to show i), since ii) can be obtained by duality. Let t: T → B be a morphism with πY ◦ t = 0, then we also have ωY ◦ πY ◦ t = 0, hence
(idB −ωX ◦ πX ) ◦ t = 0 and therefore the diagram
t T / B > }} πX ◦t } }}ωX }} X is commutative. If λ: T → X is another morphism with t = ωX ◦ λ, then πX ◦t = πX ◦ωX ◦λ = λ. This shows that ωX is a kernel of πY . Analogously one shows that ωY is a kernel of πX .
Proposition 2.51. Let (B, πX , πY , ωX , ωY ) be a biproduct of two objects X and Y in a preadditive category C.
i) (B, πX , πY ) is a product of X and Y .
ii) (B, ωX , ωY ) is a coproduct of X and Y . 46 CHAPTER 2. ADDITIVE CATEGORIES
Proof. It suffices to show i), since ii) can be obtained by duality. Let tX : T → X and tY : T → Y be morphisms in C. Define λ := ωX ◦tX +ωY ◦tY , then we have
πX ◦ λ = πX ◦ (ωX ◦ tX + ωY ◦ tY ) = tX ,
πY ◦ λ = πY ◦ (ωX ◦ tX + ωY ◦ tY ) = tY .
0 0 0 If λ : T → B is another morphism with πX ◦ λ = tX and πY ◦ λ = tY , it follows that
0 0 λ = ωX ◦ tX + ωY ◦ tY = ωX ◦ πX ◦ λ + ωY ◦ πY ◦ λ , hence (B, πX , πY ) is a product of X and Y . Notation 2.52. Let C be a preadditive category and X,Y ∈ Ob(C). The biproduct (B, πX , πY , ωX , ωY ) of X and Y is uniquely determined up to 0 0 0 0 0 a unique isomorphism: Let (B , πX , πY , ωX , ωY ) be another biproduct of 0 0 0 X and Y . Since by 2.51 the two triples (B, πX , πY ) and (B , πX , πY ) are 0 0 products, there exists a unique isomorphism λ: B → B with πX ◦ λ = πX 0 and πY ◦ λ = πY , and since, again by 2.51 the two triples (B, ωX , ωY ) and 0 0 0 0 0 (B , ωX , ωY ) are coproducts, there exists a unique isomorphism λ : B → B 0 0 0 0 with λ ◦ ωX = ωX and λ ◦ ωY = ωY . Then 0 0 λ = λ ◦ idB 0 = λ ◦ (ωX ◦ πX + ωY ◦ πY ) 0 0 = λ ◦ ωX ◦ πX + λ ◦ ωY ◦ πY 0 0 = ωX ◦ πX + ωY ◦ πY 0 0 0 0 = ωX ◦ πX ◦ λ + ωY ◦ πY ◦ λ 0 0 0 0 = (ωX ◦ πX + ωY ◦ πY ) ◦ λ = idB0 ◦λ = λ which shows then that the biproduct itself is uniquely determined up to a unique isomorphism. Because of the above we will write from now on
(X q Y, πX , πY , ωX , ωY ) for the biproduct of X and Y . Example 2.53. The biproduct of two objects X and Y in the category (TVS) is the product space X × Y together with the canonical projections X × Y → X, X × Y → Y and the canonical embeddings X → X × Y , Y → X × Y . Proposition 2.54. Let C be a preadditive category. Then the following are equivalent: 2.4. PRODUCT, COPRODUCT AND BIPRODUCT 47
i) C has products. ii) C has coproducts. iii) C has biproducts.
Proof. i) ⇒ iii) Let X and Y be two objects of C. The morphisms idX : X → X and 0: X → Y induce a unique morphism ωX : X → X × Y making the diagram
idX / X w; πX ww ww ww ωX ww X ___ / X × Y GG GG GG πY GG G# 0 / Y commutative. Analagously the morphisms idY : Y → Y and 0: Y → X induce a unique morphism ωY : Y → X ×Y with πX ◦ωY = 0 and πY ◦ωY = idY . Then we have
πX ◦ (ωX ◦ πX + ωY ◦ πY ) = πX ◦ ωX ◦ πX + πX ◦ ωY ◦ πY = πX
πY ◦ (ωX ◦ πX + ωY ◦ πY ) = πY ◦ ωX ◦ πX + πY ◦ ωY ◦ πY = πY , hence the universal property of the product yields ωX ◦πX +ωY ◦πY = idX×Y , which shows that (X × Y πX , πY , ωX , ωY ) is a biproduct. ii) ⇒ iii) is the dual argument of i) ⇒ iii): If two objects X and Y possess a coproduct in C, they possess a product in Cop and hence by i) ⇒ iii) a biproduct in Cop. By 2.49.ii) this means also that X and Y possess a biproduct in C. iii) ⇒ i) and iii) ⇒ ii) are already clear by 2.51.
Proposition 2.55. Let C be a preadditive category. i) If C has products and cokernels, then C has pushouts. ii) If C has coproducts and kernels, then C has pullbacks. Proof. Since ii) is the dual statement of i), it suffices to show i). Let f : E → F and g : E → G be morphisms in C. Then f and −g induce a unique morphism λ: E → F × G making the diagram
f / F x; πF xx xx xx λ xx E ___ / F × G GG GG GG πG GG G# −g / G 48 CHAPTER 2. ADDITIVE CATEGORIES commutative. Let (F × G πF , πG, ωF , ωG) be the biproduct constructed as in the proof of 2.54 and let cλ : F × G → cok λ be the cokernel of λ. Define then
sF := cλ ◦ ωF : F → cok λ,
sG := cλ ◦ ωG : G → cok λ.
Then we have
−(sG ◦ g) + sF ◦ f = −(cλ ◦ ωG ◦ g) + cλ ◦ ωF ◦ f
= cλ ◦ ωG ◦ (−g) + cλ ◦ ωF ◦ f
= cλ ◦ ωG ◦ πG ◦ λ + cλ ◦ ωF ◦ πF ◦ λ
= cλ ◦ (ωG ◦ πG + ωF ◦ πF ) ◦ λ
= cλ ◦ idF ×G ◦λ = 0 hence the diagram f E / F
g sF G / cok λ sG is commutative. Let then tF : F → T and tG : G → T be two morphisms with tF ◦ f = tG ◦ g. Then
(tG ◦ πG + tF ◦ πF ) ◦ λ = tG ◦ πG ◦ λ + tF ◦ πF ◦ λ
= tG ◦ (−g) + tF ◦ f
= −(tG ◦ g) + tF ◦ f = 0, hence the universal property of the cokernel gives rise to a unique morphism µ: cok λ → T with µ ◦ cλ = tG ◦ πG + tF ◦ πF . This yields
µ ◦ sF = µ ◦ cλ ◦ ωF
= (tG ◦ πG + tF ◦ πF ) ◦ ωF
= tG ◦ πG ◦ ωF + tF ◦ πF ◦ ωF
= tF as well as
µ ◦ sG = µ ◦ cλ ◦ ωG
= (tG ◦ πG + tF ◦ πF ) ◦ ωG
= tG ◦ πG ◦ ωG + tF ◦ πF ◦ ωG
= tG 2.4. PRODUCT, COPRODUCT AND BIPRODUCT 49 and therefore the diagram
f E / F
g sF tF G / cok λ sG E EE EE µ EE E" tG / T
0 0 is commutative. If µ : cok λ → T is another morphism with µ ◦ sG = tG 0 and µ ◦ sF = tF then
0 0 µ ◦ cλ = µ ◦ cλ ◦ (ωG ◦ πG + ωF ◦ πF ) 0 0 = µ ◦ cλ ◦ ωG ◦ πG + µ ◦ cλ ◦ ωF ◦ πF 0 0 = µ ◦ sG ◦ πG + µ ◦ sF ◦ πF
= tG ◦ πG + tF ◦ πF , hence it follows that µ0 = µ because µ is unique with this property. This shows that (cok λ, sF , sG) is a pushout of f and g.
Corollary 2.56. Let C be a preadditive category with kernels and cokernels. Then the following are equivalent:
i) C has products.
ii) C has coproducts.
iii) C has biproducts.
iv) C has pullbacks.
v) C has pushouts.
Definition 2.57. Let C be a category and let C0 be a full subcategory of C.
i) C0 is said to reflect pullbacks if whenever
pT P / T
pY PB t Y g / Z
is a pullback square in C with T,Y,Z ∈ Ob(C0) it follows that also P ∈ Ob(C0) (and therefore the above diagram is a pullback square in C0). 50 CHAPTER 2. ADDITIVE CATEGORIES
ii) C0 is said to reflect pushouts if whenever
f X / Y
t PO sY T / S sT
is a pushouts square in C with X,Y,T ∈ Ob(C0) it follows that also S ∈ Ob(C0) (and therefore the above diagram is a pushout square in C0).
Example 2.58.
i) (LCS) is a full subcategory of (TVS) that reflects pullbacks and pushouts.
ii) (LCS)HD is a full subcategory of (TVS) that reflects pullbacks but does not reflect pushouts.
iii) (BOR) is a full subcategory of (TVS) that reflects pushouts, but does not reflect pullbacks (see the references in 2.17.iii)).
iv) (LCS)c is a full subcategory of (TVS) that does neither reflect pull- backs nor pushouts (see the references in 2.17.iv)).
2.5 Additive Categories
Definition 2.59.
i) A category C is called additive, if it has the following properties:
(A1) The category C is preadditive. (A2) The category C has products.
ii) A full additive subcategory C0 of an additive category C is a full pread- ditive subcategory that also reflects products.
Remark 2.60.
i) By 2.54 a preadditive category C possesses products if and only if it possesses biproducts. Therefore one can equivalently define an additive category as a preadditive category which possesses biproducts.
ii) A full additive subcategory of an additive subcategory is itself an ad- ditive category.
Definition 2.61. 2.5. ADDITIVE CATEGORIES 51
i) A category C is called preabelian, if it is additive and has kernels and cokernels. ii) A full preabelian subcategory C0 of a preabelian category C is a full additive subcategory that also reflects kernels and cokernels. Example 2.62.
i) The categories (TVS), (LCS) and (LCS)HD are preabelian by 2.10.
c ii) Let (LCS)sm be the category of complete semi-metrizable locally con- vex spaces and continous linear maps. This category is not preabelian, since there are morphisms in this category that do not have a ker- nel. Consider for example the sequence space l1 and the quotient map q : l1 → l1/φ, where φ is the space of sequences with only finitely many nonzero values. Since φ is a dense subspace of l1, the quotient l1/φ has the coarsest topology and is therefore a complete semi-metrizable c space, hence q is a morphism in (LCS)sm. Suppose k : K → l1 is c a kernel of q in (LCS)sm. For every y ∈ φ we have the morphism c υy : C → l1, λ 7→ λy, which is a morphism in (LCS)sm with q ◦ υy = 0, hence the universal property of the kernel k gives rise to a unique factorization υy / l1 C @ ? @ ~~ @ ~~ µy ~~ k @ ~~ K c in (LCS)sm, which shows that φ ⊆ k(K). The universal property of the kernel φ ,→ l1 in (LCS) yields a factorization
k K / l1 > Ñ@ > ÑÑ j > ÑÑ > 0 ÑÑ φ
c for an injective morphism j, since k is a monomorphism in (LCS)sm and thus injective. Since φ ⊆ k(K), the map j is even bijective. In addition, K is a Hausdorff space because of k being injective, hence a Fr´echet space and therefore a webbed space. Furthermore, φ = n ∪n∈NC is an ultrabornological space, hence it follows from DeWilde’s open mapping theorem (cf. [15, 24.30]) that j is an isomorphism, in contradiction to K being a complete space. Therefore the morphism c q does not have a kernel in (LCS)sm. Remark 2.63. i) A full preabelian subcategory of a preabelian subcategory is itself a preabelian category. 52 CHAPTER 2. ADDITIVE CATEGORIES
ii) If a category C is preabelian, it has pullbacks and pushouts by 2.56.
iii) It follows from the proof of 2.55 that a full preabelian subcategory of a preabelian category reflects pullbacks and pushouts.
iv) Any morphism f : X → Y in a preabelian category C possesses a canonical factorization
kf f cf ker f / X / Y / cok f O cif if coim f ___ / im f fe
by lemma 2.22.
v) Let C be a preabelian category and let C0 be a full preabelian sub- category of C. Then the canonical factorization in C of a morphism f : X → Y with X,Y ∈ Ob(C0) coincides with the canonical factoriza- tion of f in C0, hence it follows from 1.35 that f is strict in C0 if and only if it is strict in C.
c Example 2.64. Let (LCS)HD be the category of complete Hausdorff locally convex spaces and continous linear maps. In the chain
c (TVS) ⊇ (LCS) ⊇ (LCS)HD each category is a full additive subcategory of the categories above them c and (LCS) is even a full preabelian subcategory of (TVS), but (LCS)HD is not a full preabelian subcategory of neither (TVS) nor (LCS) since it does c not reflect their cokernels. However, (LCS)HD is a preabelian category in its own right: Since closed subspaces of complete spaces are again complete, c (LCS)HD reflects the kernels of (LCS) and is therefore a category that has c kernels. For a morphism f : X → Y in (LCS)HD the quotient Y/f(X) is not complete in general (see the references in 2.17.iv)), but if C(Y/f(X)) is the completion of Y/f(X) and j : Y/f(X) → C(Y/f(X)) is the canonical morphism, the composition
q j Y / Y/f(X) / C(Y/f(X))
c c is a cokernel of f in (LCS)HD and therefore (LCS)HD has cokernels, hence it is a preabelian category.
Definition 2.65. Let C be a preadditive category and let X1,...,Xn be objects of C. A biproduct of (Xk)k=1,...,n is a tuple
(B, (πXk )k=1,...,n, (ωXk )k=1,...,n), 2.5. ADDITIVE CATEGORIES 53 where B is an object of C and
πXk : B → Xk, ωXk : Xk → B are morphisms in C, defined for each k = 1, . . . , n, such that the following equations are satisfied:
πXk ◦ ωXk = idXk for k = 1, . . . , n,
πXk ◦ ωXl = 0 for k 6= l, n X ωXk ◦ πXk = idB . k=1 Remark 2.66.
i) Let C be an additive category and let X1,...,Xn be objects of C, then a biproduct of (Xk)k = 1, . . . , n can be constructed inductively from the biproducts of two objects: Suppose that a biproduct
(B , (π0 ) , (ω0 ) ) m−1 Xk k=1,...,m−1 Xk k=1,...,m−1
of (Xk)k=1,...,m−1 has already been constructed. Let
(Bm−1 q Xm, πBm−1 , πXm , ωBm−1 , ωXm )
be the biproduct of Bm−1 and Xm and define
B := Bm−1 q Xm π0 ◦ π for k = 1, . . . , m − 1 Xk Bm−1 πXk := πXm for k = m ω ◦ ω0 for k = 1, . . . , m − 1 Bm−1 Xk ωXk := . ωXm for k = m
Then (B, (πXk )k=1,...,m, (ωXk )k=1,...,m) is a biproduct of (Xk)k=1,...,m.
ii) If (B, (πXk )k=1,...,n, (ωXk )k=1,...,n) is a biproduct of (Xk)k=1,...,n, then,
in analogy to the case n = 2 (see 2.51), the tuple (B, (πXk )k=1,...,n) has the following universal property:
For any tuple (T, (tXk )k=1,...,n), where T is an object of C and where
tXk : T → Xk is a morphism for k = 1, . . . , n there exists a unique morphism λ: T → B making the diagram
λ T / B BB | BB | t B ||πX Xk }| k Xk 54 CHAPTER 2. ADDITIVE CATEGORIES
commutative for k = 1, . . . , n.
Dually, for any tuple (S, (sXk )k=1,...,n), where S is an object of C and
where sXk : Xk → S is a morphism for k = 1, . . . , n there exists a unique morphism µ: B → S making the diagram
µ B / S aB > BB }} ω B }s Xk B }} Xk Xk
commutative for k = 1, . . . , n.
iii) As in the case of n = 2 (see 2.52), it follows from the two universal properties above that the biproduct of X1,...,Xn ∈ Ob(C) is uniquely determined up to a unique isomorphism. Notation 2.67. Because of 2.66.iii) we will write from now on
n (qk=1Xk, (πXk ), (ωXk )) for the biproduct of objects X1,...,Xn in a preadditive category C.
Remark and Definition 2.68. Let C be an additive category. If X1,...,Xn and Y1,...,Ym are objects of C and fji : Xi → Yj are morphisms in C for all i = 1, . . . , n and j = 1, . . . , m, then the coproduct universal property of the biproduct (see 2.66.ii)) gives rise to unique morphisms
n λj : qi=1 Xi → Yj with fji = λj ◦ωXi for i = 1, . . . , n and j = 1, . . . , m. In addition the product universal property of the biproduct gives rise to a unique morphism
n m λ: qi=1 Xi → qj=1Yj with λj = πYj ◦ λ for j = 1, . . . , m, therefore we have
fji = πYj ◦ λ ◦ ωXi (?) for i = 1, . . . , n and j = 1, . . . , m. It follows from the uniqueness of λ and the λj that λ is unique with the property (?). In addition it follows that every n m morphism f : qi=1 Xi → qj=1Yj is uniquely determined by the morphisms n πYj ◦ f ◦ ωXi . This allows us to identify the morphisms from qi=1Xi to m qj=1Yj with m × n-matrices
n m (fji)j=1,...,m := f : qi=1 Xi → qj=1Yj, i=1,...,n where fji := πYj ◦ f ◦ ωXi for j = 1, . . . , m and i = 1, . . . , n. This notation yields a multiplication law for matrices: 2.5. ADDITIVE CATEGORIES 55
Claim: For two morphisms
n m f = (fji)j=1,...,m : qi=1 Xi → qj=1Yj, i=1,...,n m l g = (gji) k=1,...,l : qj=1 Yj → qk=1Zk j=1,...,m in C, we have
g ◦ f = (hki) k=1,...,l i=1,...,n Pm with hki := t=1 gkt ◦ fti. Indeed, the morphism g ◦ f is uniquely determined by the morphisms
m X πZk ◦ (g ◦ f) ◦ ωXi = πZk ◦ g ◦ ( ωYt ◦ πYt ) ◦ f ◦ ωXi t=1 m X = πZk ◦ g ◦ ωYt ◦ πYt ◦ f ◦ ωXi t=1 m X = gkt ◦ fti, t=1
n which establishes the claim. If (qk=1Xk, (πXk ), (ωXk )) is a biproduct of X1,...,Xn ∈ Ob(C) we will, because of the above multiplication law for matrices, from now on often identify the morphism ωXk with the k-th unit vector and πXk with the transposed of the k-th unit vector. In addition we will often just write 1 for the identity morphism, if it appears as a coefficient of a matrix, e.g. 1 0 : X q Y → X q Y 0 1 will denote the identity morphism on X q Y .
Notation 2.69. If f : X → Y and f 0 : X0 → Y 0 are morphisms in a category C we set f 0 f ⊕ f 0 := : X q X0 → Y q Y 0. 0 f 0 Lemma 2.70. Let C be an additive category, let f : X → Y be a morphism in C and let A be an object of C.
i) The diagram
idA ⊕f A q X / A q Y
πX πY X / Y f is a pullback and a pushout square. 56 CHAPTER 2. ADDITIVE CATEGORIES
ii) The diagram f X / Y
ωX ωY A q X / A q Y idA ⊕f is a pullback and a pushout square. Proof. It suffices to show i), since ii) can be obtained by duality. lA If lX : L → X and : L → A q Y are morphisms in C such that lY lA lY = ( 0 1 ) = f ◦ lX , lY then the diagram ( lA ) lY L GG ( lA ) GG lX GG GG G# idA ⊕f A q X / A q Y lX πX πY % X / Y f
0 α is commutative. If λ = β : L → A q X is another morphism such that 0 0 0 πX ◦ λ = lX and (idA ⊕f) ◦ λ = lAqY , then we have β = πX ◦ λ = lX and lA 0 1 0 α α = (idA ⊕f) ◦ λ = = , lY 0 f lX lY 0 hence it follows that α = lA and thus λ = λ. This shows that the diagram in i) is a pullback square. In addition, if lX : X → L and ( lA lY ): A q Y → L are morphisms in C such that 1 0 ( l l ) = l ◦ π = ( 0 l ), A Y 0 f X X X then the diagram
idA ⊕f A q X / A q Y
πX πY ( l l ) A Y X / Y f FF FF lY FF FF F# lX / L is commutative and lY is unique with this property. This shows that the diagram in i) is also a pushout square. 2.5. ADDITIVE CATEGORIES 57
Lemma 2.71. Let C be an additive category.
i) If g : Y → Z, t: T → Z are morphisms in C such that g has a kernel and (P, pT , pY ) is their pullback, then there is a morphism j : ker g → P making the diagram
j pT ker g / P / T
pY t kerg / Y / Z kg g
commutative and being a kernel of pT .
ii) If f : X → Y , t: X → T are morphisms in C such that f has a cokernel and (S, sT , sY ) is their pushout, then there is a morphism c: S → cok f making the diagram
f cf X / Y / cok f
t sY T / S / cok f sT c
commutative and being a cokernel of sT .
Proof. It is enough to show i), since ii) can be obtained dually. Because of g ◦ kg = 0 = t ◦ 0, the universal property of (P, pT , pY ) gives rise to a unique morphism j : ker g → P making the diagram
ker g 0 D D j D D! pT P / T kG pY t $ Y g / Z commutative. We show that j is a kernel of pT : Let h: H → P be a morphism with pT ◦ h = 0. Then g ◦ pY ◦ h = t ◦ pT ◦ h = 0, therefore the universal property of ker g yields a unique morphism λ: H → ker(g) with pY ◦ h = kG ◦ λ, hence pY ◦ h = pY ◦ j ◦ λ and pT ◦ h = 0 = pT ◦ j ◦ λ. Thus the universal property of (P, pT , pY ) provides that h = j ◦ λ and that λ is unique with this property. This shows that j is a kernel of pT . 58 CHAPTER 2. ADDITIVE CATEGORIES
2.6 Semi-abelian Categories
Definition 2.72. Let C be a preabelian category. i) The category C is called semi-abelian if for every morphism f : X → Y in C the morphism fe: coim f → im f in the canonical factorization
kf f cf ker f / X / Y / cok f O cif if coim f / im f fe
is a bimorphism.
ii) The category C is called abelian if for every morphism f : X → Y in C the morphism fe: coim f → im f is an isomorphism, i.e. every morphism is a strict morphism. Example 2.73. i) Every abelian category C is semi-abelian.
ii) In the preabelian categories (F − V ec) and (Ab) we have the canonical isomorphism fe: X/f −1({0}) → f(X) for a morphism f : X → Y , which shows that these categories are abelian.
iii) In the preabelian category (TVS) the morphism
fe: X/f −1({0}) → f(X)
is always bijective and therefore a bimorphism, which shows that (TVS) is a semi-abelian category. However it is not an abelian cate- gory, since fe need not have a continous inverse.
c iv) Let X be an object of the preabelian category (LCS)HD and let A ⊆ X be a closed subspace of X such that the quotient X/A is not a complete space (see the references in 2.17.iv) for an example). Let Y := C(X/A) be the Hausdorff completion of X/A and let j : X/A → Y be the canonical morphism. Let q : X → X/A denote the quotient map and define p := j ◦ q. Let y0 ∈ Y \j(X/A) and consider the map
r : X × C → Y, (x, λ) 7→ p(x) − λy0.
Since p(X) is dense in Y , it follows that r(X × C) is also dense in Y , c hence r is an epimorphism in (LCS)HD and therefore the identity on Y 2.6. SEMI-ABELIAN CATEGORIES 59
−1 is an image of r. The kernel of r is the inclusion p (0)×{0} → X ×C, hence the coimage of r is the morphism
−1 cir : X × C → C(X × C/p ({0}) × {0}) = Y × C, (x, λ) 7→ (p(x), λ)
(see 2.64). The canonical factorizatiom of r then has the form
r X × C / Y cir Y × C / Y re
with re(y, λ) = y − λy0. Since re(y0, 1) = 0, the map re is not injective and therefore not a bimorphism. c This shows that (LCS)HD is a preabelian category that is not semi- abelian.
Proposition 2.74. Let C be a semi-abelian (resp. an abelian) category. if C0 is a full preabelian subcategory of C, then C0 is also semi-abelian (resp. abelian).
Proof. The category C0 is again preabelian. Let f : X → Y be a morphism in C0 and let kf f cf ker f / X / Y / cok f O cif if coim f / im f fe be its canonical factorization in C. Since C0 reflects kernels and cokernels this is also the canonical factorization of f in C0. Since fe is a bimorphism (resp. an isomorphism) in C it is also a bimorphism in C0 (resp. an isomorphism in C0 by 1.35, since the inclusion functor C0 → C is fully faithful).
Proposition 2.75. Let f : X → Y be a morphism in a semi-abelian cate- gory C.
i) A morphism k : K → X is a kernel of f if and only if it is the kernel of cif : X → coim f. ii) A morphism c: Y → C is a cokernel of f if and only if it is the cokernel of if : im f → coim Y . Proof. The proof of 2.26 also works in this case.
Proposition 2.76. Let C be a semi-abelian category.
i) If f = h◦g is a strict monomorphism, then g is a strict monomorphism. 60 CHAPTER 2. ADDITIVE CATEGORIES
ii) If f = h ◦ g is a strict epimorphism, then h is a strict epimorphism. Proof. It suffices to show i), since ii) is the dual statement. We know by 1.10 that g is a monomorphism. Then idX is a coimage of g and we have g = ig ◦ge. Analogously we get f = if ◦fe. We show that ge is an isomorphism: Let cf : Y → cok f be the cokernel of f, then
cf ◦ h ◦ ig ◦ ge = cf ◦ h ◦ g = cf ◦ f = 0 and since ge is a bimorphism, it follows cf ◦h◦ig = 0. The universal property of f then gives rise to a unique morphism v : im g → im f with if ◦ h ◦ ig. Then if ◦ v ◦ ge = h ◦ ig ◦ ge = h ◦ g = f = if ◦ f,e hence it follows that v ◦ ge = fe, since if is a monomorphism. Then we have −1 fe ◦ v ◦ ge = idcoim g . −1 In addition we have ge ◦ fe ◦ v ◦ ge = ge = idim g ◦ge, hence it follows that −1 ge ◦ fe ◦ v = idim g since ge is an epimorphism. This shows that ge is an isomorphism and there- fore g is a strict monomorphism.
Proposition 2.77. Let C be a semi-abelian category. i) If f : X → Y and g : Y → Z are strict monomorphisms, then g ◦ f is a strict monomorphism. ii) If f : X → Y and g : Y → Z are strict epimorphisms, then g ◦ f is a strict epimorphism. Proof. Since ii) is the dual statement of i) it suffices to show i) Since f and g are strict monomorphisms they are their own images by 2.27 and since g ◦ f is a monomorphism, we have
g ◦ f = ig◦f ◦ g]◦ f. We show that g ◦ f is its own image, then it is a strict monomorphism by 2.27. We have 0 = cg ◦ g ◦ f = cg ◦ ig◦f ◦ g]◦ f, therefore it follows that cg ◦ ig◦f = 0, since g]◦ f is a bimorphism. The universal property of the image ig then gives rise to a unique morphism v : im g ◦ f → Y = im g, making the diagram
ig◦f im g ◦ f / ; Z ww ww v ww ww g ww Y 2.6. SEMI-ABELIAN CATEGORIES 61 commutative. Then it follows from
g ◦ f = ig◦f ◦ g]◦ f = g ◦ v ◦ g]◦ f that f = v ◦ g]◦ f, since g is a monomorphism. From
cf ◦ f = cf ◦ v ◦ g]◦ f = 0 it follows that cf ◦v = 0, since g]◦ f is a bimorphism. The universal property of the image if then gives rise to a unique morphism w : im g◦f → X = im f making the diagram v im g ◦ f / ; Y vv vv w vv vv f vv Y commutative. If then t: T → Z is a morphism in C with cg◦f ◦t = 0, the universal property of ig◦f gives rise to a unique morphism λ: T → im g ◦ f with t = ig◦f ◦ λ. Then we have t = ig◦f ◦ λ = g ◦ v ◦ λ = g ◦ f ◦ w ◦ λ, hence the diagram t T / Z > ~~ w◦λ ~ ~~g◦f ~~ X is commutative and since g ◦ f is a monomorphism, the morphism w ◦ λ is unique with this property. This shows that g ◦ f is its own image and hence a strict monomorphism.
Corollary 2.78. Let C be a semi-abelian category and let f : X → Y be a strict morphism in C. i) If j : Y → Z is a strict monomorphism, then the morphism j ◦ f is strict. ii) If p: W → X is a strict epimorphism, then the morphism f ◦p is strict. Proof. Follows directly from 2.77 and 2.30.
Proposition 2.79. Let C be a semi-abelian category and let
f X / Y
t (1) sY T / S sT be a pushout square. 62 CHAPTER 2. ADDITIVE CATEGORIES
i) If f is a strict epimorphism, then sT is also a strict epimorphism. ii) If f or t is a strict monomorphism, then the above diagram is also a pullback square.
Proof. i) We show that sT is its own coimage, then it follows from 2.27 that sT is a strict epimorphism. Let r : T → R be a morphism with r ◦ ksT = 0. Since the diagram (1) is commutative there exists a unique morphism λ: ker f → ker sT making the diagram
kf f ker f / X / Y λ t (1) sY ker s / T / S T sT ksT commutative. Then we have
r ◦ t ◦ ksT ◦ λ = 0. Since f is astrict epimorphism it is its own coimage, hence there exists a unique morphism ε: Y → R with r ◦ t = ε ◦ f. Then the universal property of the pushout gives rise to a unique morphism η : S → R with ε = η ◦ sY and r = η ◦ sT , i.e. making the diagram
ksT sT ker sT / T / S η r R
0 0 commutative. If η : S → R is another morphism with η ◦ sT = r, then we have 0 0 η ◦ sY ◦ f = η ◦ sT ◦ t = r ◦ t = ε ◦ f 0 and since f is an epimorphism it follows that η ◦ sY = ε. The universal 0 property of the pushout then yields η = η. This shows that sT is its own coimage, hence a it is a strict epimorphism. f ii) Consider the morphism −t : X → Y q T . The proof of 2.55 shows that (cok p, cp ◦ωY , cP ◦ωT ) is a pushout of f and t, hence we can assume w.l.o.g.:
S = cok p, sY = cp ◦ ωY , sT = cp ◦ ωT
We claim that (im p, −πT ◦ ip, πY ◦ ip) is a pullback of cp ◦ ωY and cp ◦ ωT . In fact since
−(cp ◦ ωT ◦ (−πT ◦ ip)) + cp ◦ ωY ◦ πY ◦ ip = cp(ωT ◦ πT + ωY ◦ πY ) ◦ ip
= cp ◦ ip = 0 2.6. SEMI-ABELIAN CATEGORIES 63 the diagram −πT ◦ip im p / T
πY ◦ip cp◦ωT Y / cok p cp◦ωY is commutative. Let rT : R → T and rY : R → Y be morphisms with cp ◦ ωY ◦ rY = cp ◦ ωT ◦ rT . Then cp ◦ (ωY ◦ rY − ωT ◦ rT ) = 0, hence the universal property of ip gives rise to a unique morphism h: R → im p with ip ◦ h = ωY ◦ rY − ωT ◦ rT . Then we have
−πT ◦ ip ◦ h = −πT ◦ ωY ◦ rY + πT ◦ ωT ◦ rT = rT and πY ◦ ip ◦ h = πY ◦ ωY ◦ rY − πY ◦ ωT ◦ rT = rY . 0 0 0 If h : R → im p is another morphism with −πT ◦ip ◦h = rT and πY ◦ip ◦h = rY then we also have
0 ωT ◦ rT = ωT ◦ (−πT ◦ ip) ◦ h 0 ωY ◦ rY = ωY ◦ πY ◦ ip ◦ h and it follows that
ip ◦ h = ωY ◦ rY − ωT ◦ rT 0 0 = ωY ◦ πY ◦ ip ◦ h − ωT ◦ (−πT ◦ ip) ◦ h 0 = (ωY ◦ πY + ωT ◦ πT ) ◦ ip ◦ h 0 = ip ◦ h .
0 Since ip is a monomorphism this yield h = h and thus establishes the claim that (im p, −πT ◦ ip, πY ◦ ip) is a pullback of cp ◦ ωY and cp ◦ ωT . Since the category C is semi-abelian the morphism pe ◦ cip : X → im p is an epimorphism. Consider then the diagram
f X 7/ Y . CC ppp CCpe◦cip pp CC ppp C ppπY ◦ip C! ppp t im p sY {{ {{ {{−πT ◦ip }{{ T / S sT We have
−(πT ◦ ip) ◦ (pe◦ cip) = −πT ◦ p = t πY ◦ ip ◦ (pe◦ cip) = πY ◦ p = f 64 CHAPTER 2. ADDITIVE CATEGORIES hence the above diagram is commutative. If f or t is a strict monomorphism it follows from 2.76, that pe◦cip is also a strict monomorphism, hence a strict bimorphism and thus an isomorphism. This establishes ii). By duality we obtain: Proposition 2.80. Let C be a semi-abelian category and let
pT P / T
pY (2) t Y g / Z be a pullback square.
i) If g is a strict monomorphism, then pT is also a strict monomorphism. ii) If g or t is a strict epimorphism, then the above diagram is also a pushout square. Corollary 2.81. Let C be a semi-abelian category. i) If g : Y → Z is a strict epimorphism and
T P / T
pY (1) t Y g / Z
a pullback square, then pT is an epimorphism. ii) If f : X → Y is a strict monomorphism and
f X / Y
t (2) sY T / S sT
a pushout square, then sT is a monomorphism. Proof. It suffices to show i), since ii) is the dual statement. Since g is an epimorphism, the diagram (1) is also a pushout square by 2.80.
Let cpT : T → cok pT be a cokernel of pT , then 2.71 yields a commutative diagram T cPT P / T / cok pT
pY (1) t Y g / Z c / cok pT where c is a cokernel of g. Since g is an epimorphism, we have cok pT = 0 by 2.21, hence, again by 2.21, it follows that c is an epimorphism. Chapter 3
Exact Categories
3.1 Basic Properties
Definition 3.1. Let C be an additive category. A pair of composable mor- phisms f g X / Y / Z in C is called a kernel-cokernel pair, if f is a kernel of g and g is a cokernel of f. Remark 3.2. Let C be an additive category. i) A pair (f, g) of composable morphisms in C is a kernel-cokernel pair if and only if (gop, f op) is a kernel-cokernel pair in Cop. ii) If (f, g) is a kernel-cokernel pair in C and
f g X / Y / Z
iX iY iZ X0 / Y 0 / Z0 f 0 g0
0 0 is a commutative diagram with isomorphisms iX , iY , iZ , then (f , g ) is also a kernel-cokernel pair. In fact, if t: T → Y 0 is a morphism 0 −1 with g ◦ t = 0, it follows that g ◦ iY ◦ t = 0, hence the universal property of the kernel f gives rise to a unique morphism λ: T → X −1 0 0 with f ◦λ = iY ◦t. Then f ◦iX ◦λ = iY ◦f ◦λ = t and f ◦iX is unique with this property, hence f 0 is a kernel of g0. The dual argument shows that g0 is a cokernel of f 0. Lemma 3.3. Let C be an additive category and let
f g (?) X / Y / Z be a sequence of morphisms in C with g◦f = 0. The following are equivalent:
65 66 CHAPTER 3. EXACT CATEGORIES
i) (f, g) is a kernel-cokernel pair. ii) f is a strict monomorphism, g is a strict epimorphism and the induced morphism λ: im f → ker g with if = kg ◦ λ is an isomorphism. Proof. i) ⇒ ii) If (f, g) is a kernel-cokernel pair, then f is a strict monomor- phism and g a strict epimorphism by 2.29. Since g is a cokernel of f, the kernel of g is an image of f, hence the unique morphism with λ: im f → ker g with if = kg ◦ λ is an isomorphism. ii) ⇒ i) It suffices to show that f is a kernel of g, since g is a strict epi- morphism and therefore by 2.27 a cokernel of its kernel. Since f is a strict monomorphism it is its own image by 2.27 and since the morphism λ is an isomorphism it follows that f is a kernel of g.
Example 3.4. The above shows, that in the category (TVS) a sequence
f g X / Y / Z with g ◦ f = 0 is a kernel-cokernel pair if and only if f is injective and open onto its range, g is surjective and open onto its range and g−1({0}) = f(X). Therefore, using the standard terminology of functional analysis (cf. [31]), the kernel-cokernel pairs in (TVS) are the short exact sequences of (TVS). Definition 3.5. Let C be an additive category. If a class E of kernel-cokernel pairs on C is fixed, an admissible monomorphism is a morphism f such that there exists a morphism g with (f, g) ∈ E. Admissible epimorphisms are defined dually. An exact structure on C is a class E of kernel-cokernel pairs which is closed under isomorphisms and has the following properties:
[E0] For each object X, the identity idX : X → X is an admissible monomor- phism.
op [E0 ] For each object X, the identity idX : X → X is an admissible epimor- phism. [E1] If f : Y → Z and f 0 : Z → V are admissible monomorphisms, then the composition f 0 ◦ f is an admissible monomorphism. [E1op] If g : Y → Z and g0 : Z → V are admissible epimorphisms, then the composition g0 ◦ g is an admissible epimorphism. [E2] If f : X → Y is an admissible monomorphism and t: X → T is a morphism, then the pushout
f X / Y
t sY T / S sT 3.1. BASIC PROPERTIES 67
of f and t exists and sT is an admissible monomorphism. [E2op] If g : Y → Z is an admissible epimorphism and t: T → Z is a mor- phism, then the pullback
pT P / T
pY t Y g / Z
of g and t exists and pT is an admissible epimorphism. If E is an exact structure on C, then the pair (C, E) is called an exact category.
Remark 3.6. Let C be an additive category.
i) Since each of the properties of an exact structure has its dual formu- lation, it follows that E is an exact structure on C if and only if Eop is an exact structure on Cop.
ii) In the definition of an exact category, the requirement that the class E is closed under isomorphisms means the following: If (f, g) is an element of E and
f g X / Y / Z
iX iY iZ X0 / Y 0 / Z0 f 0 g0
is a commutative diagram in C such that iX , iY , iZ are isomorphisms, then it follows that (f 0, g0) is an element of E.
iii) Isomorphisms are admissible monomorphisms as well as admissible epimorphisms. For an isomorphism f : X → Y this follows from the commutative diagrams
f X / Y / 0
f −1 X X / 0
and f 0 / X / Y
f−1 0 / X X 68 CHAPTER 3. EXACT CATEGORIES
iv) If f : X → Y is an admissible monomorphism and g is a cokernel of f, then the pair (f, g) is in E, since E is closed under isomorphisms. Dually: If g : Y → Z is an admissible epimorphism and f a kernel of g, then (f, g) is in E.
Lemma 3.7. If (C, E) is an exact category and X,Y ∈ Ob(C), then the pair
ωX πY X / X q Y / Y is an element of E.
Proof. By 2.47 the diagramm
0 / Y
ωY X / X q Y ωX is a pushout. It follows from the property (E0op) that the morphism 0 → Y is an admissible monomorphism, since it is a kernel of idY : Y → Y . Then ωX is an admissible monomorphism by (E2). Since πY is a cokernel of ωX the pair (ωX , πY ) is an element of E. Lemma 3.8. Let C be an additive category. For a kernel-cokernel pair (f, g) the following are equivalent:
i) f is a coretraction.
ii) g is a retraction.
iii) There is a commutative diagram
ωX πZ X / X q Z / Z
β X / Y / Z f g
such that β is an isomorphism.
Proof. i) ⇒ ii) Let λ: Y → X be a morphism with λ ◦ f = idX . Define h := idY −f ◦ λ, then h ◦ f = f − f ◦ λ ◦ f = 0, hence the universal property of g gives rise to a unique morphism µ: Z → Y with h = µ ◦ g. Then
g ◦ µ ◦ g = g ◦ h = g ◦ (idY −f ◦ λ) = g, and since g is an epimorphism it follows that g ◦ µ = idZ , hence g is a retraction. 3.1. BASIC PROPERTIES 69 ii) ⇒ iii) Let µ be a morphism with g ◦ µ = idZ , then the diagram
ωX πZ X / X q Z / Z
( f µ ) X / Y / Z f g is commutative. Define h := idY −µ ◦ g. Then we have
g ◦ h = g ◦ (idY −µ ◦ g) = g − g ◦ µ ◦ g = g − g = 0, hence the universal property of the kernel f gives rise to a unique morphism λ: Y → X with h = f ◦ λ. Then we have
f ◦ λ ◦ µ = h ◦ µ = (idY −µ ◦ g) ◦ µ = µ − µ ◦ gµ = µ − µ = 0 and therefore λ ◦ µ = 0, since f is a monomorphism. Then we have
λ λ ◦ f λ ◦ µ 1 0 ( f µ ) = = g g ◦ f g ◦ µ 0 1 λ ( f µ ) = f ◦ λ + µ ◦ g = id , g Y which shows that β := ( f µ ) is an isomorphism. −1 iii) ⇒ i) The assumption gives β ◦ f = ωX , hence f is a coretraction by 1.15.
f g Definition 3.9. We say that a sequence X / Y / Z in an additive cat- egory C is split exact, if (f, g) is a kernel-cokernel pair and if it satisfies the equivalent properties of 3.8.
Proposition 3.10. If C is an additive category the class Emin = (f, g);(f, g) is a split exact kernel-cokernel pair is an exact structure on C. Moreover, Emin is minimal in the sense that all exact structures on C contain it.
Proof. Consider a commutative diagram
f g X / Y / Z
iX iY iZ X0 / Y 0 / Z0 f 0 g0 70 CHAPTER 3. EXACT CATEGORIES with (f, g) ∈ Emin and isomorphisms iX , iY , iZ . If l : Y → X is a morphism with l ◦ f = idX , we have
−1 0 −1 iX ◦ l ◦ iY ◦ f = iX ◦ l ◦ f ◦ iX = idX0 , therefore f 0 is a coretraction and (f, g) is a kernel-cokernel pair by 3.2.ii). This shows that Emin is closed under isomorphisms. op op Note that (f, g) is an element of Emin if and only if (g , f ) is an element of Eop , therefore it suffices to show that the properties [E0op], [E1op] and opmin [E2 ] are satisfied in order to show that Emin is an exact structure, since the other ones can be obtained by duality. op [E0 ] is satisfied since the pair (0, idX ) is split exact for all X ∈ Ob(C). Let (f, g) and (f 0, g0) be split exact sequences such that g0 ◦ g is defined. For f g the split exact sequence X / Y / Z we can choose morphisms l : Y → X and r : Z → Y with l ◦ f = idX , g ◦ r = idZ and f ◦ l + r ◦ g = idY (in fact, −1 if β is the isomorphism of 3.8, the morphisms l := πX ◦ β and r := β ◦ ωZ have the desired properties). In addition, let l0 :: Z → W be a morphism 0 0 with l ◦ f = idW . Then we have
l ◦ r ◦ g = l ◦ (idY −f ◦ l) = l − l ◦ f ◦ l = l − idX ◦l = 0 and therefore l ◦ r = 0, since g is an epimorphism. With this we get l l ◦ f l ◦ r ◦ f 0 1 0 0 0 0 0 0 l ◦ g f r ◦ f = l ◦ g ◦ f l ◦ g ◦ r ◦ f = 0 1 g0 ◦ g g0 ◦ g ◦ f g0 ◦ g ◦ r ◦ f 0 0 0 and this shows that the diagram
0 f r ◦ f g0◦g X q W / Y / Z0 l 0 l ◦ g 0 g ◦ g X q W / (X q W ) q Z0 / Z0 ωXqW πZ0 is commutative. It follows that the upper row is split exact, hence [E1op] is satisfied. f g For a split exact sequence X / Y / Z choose again morphisms l : Y → X and r : Z → Y with l ◦ f = idX , g ◦ r = idZ and f ◦ l + r ◦ g = idY . We claim that for a morphism t: T → Z the diagram
πT X q T / T ( f ) (1) t r◦t Y g / Z 3.1. BASIC PROPERTIES 71 is a pullback square. Let lY : L → Y and lT : L → T be morphisms with t ◦ lT = g ◦ lY . We have l ◦ lY ( f r ◦ t ) = f ◦ l ◦ lY + r ◦ t ◦ lT lT = (idY −r ◦ g) ◦ lY + r ◦ g ◦ lY
= lY therefore the diagram
lT L G l◦lY G ( l ) G T G G # πT X q T / T
f lY (1) (r◦t) t + Y g / Z is commutative. If λ1 : L → X qT is another morphism making the above λ2 diagram commutative, than it follows that λ2 = lT and λ1 ( f r ◦ t ) = λ1 ◦ lY + r ◦ t ◦ lT , lT hence f ◦λ1 = f ◦l◦lY and therefore λ1 = l◦lY , since f is a monomorphism. This shows that (1) is a pullback square, which in turn shows that [E2op] is satisfied, since (ωX , πZ ) is split exact. If E is another exact structure on C, then we know by 3.7 that for all objects X and Z in C the pair (ωX , πZ ) is an element of E. Since E is closed under isomorphisms, 3.8 shows that E contains all split exact sequences, hence Emin ⊆ E. Proposition 3.11. Let (C, E) be an exact category. If (f, g) and (f 0, g0) are in E, then (f ⊕ f 0, g ⊕ g0) is in E.
Proof. By 2.70 the diagrams
0 idZ ⊕g g⊕idY 0 Z q Y 0 / Z q Z0 and Y q Y 0 / Z q Y 0
πY 0 πZ0 πY 0 πZ0 Y 0 / Z0 Y 0 / Z0 g0 g op 0 are pullback squares, hence by the property (E2) the morphisms idZ ⊕g op and g ⊕ idY 0 are admissible epimorphisms. By (E1) the morphism
0 0 g ⊕ g = (idZ ⊕g ) ◦ (g ⊕ idY 0 ) 72 CHAPTER 3. EXACT CATEGORIES is then also an admissible epimorphism. Additionally we show: The morphism f ⊕ f 0 is a kernel of g ⊕ g0. Let t: T → Y q Y 0 be a morphism with (g ⊕ g0) ◦ t = 0. Then we have
0 g ◦ πY ◦ t = πZ ◦ (g ⊕ g ) ◦ t = 0 0 0 g ◦ πY 0 ◦ t = πZ0 ◦ (g ⊕ g ) ◦ t = 0.
The universal properties of the kernels f and f 0 give rise to a unique mor- 0 phism λ1 : T → X with πY ◦t = f ◦λ1 and to a unique morphism λ2 : T → X 0 0 λ1 with π 0 ◦ t = f ◦ λ . Define λ: T → X q X as λ = , then: Y 2 λ2
0 f 0 λ1 • π ◦ (f ⊕ f ) ◦ λ = ( 1 0 ) 0 = f ◦ λ = π ◦ t Y 0 f λ2 1 Y
0 f 0 λ1 0 • π 0 ◦ (f ⊕ f ) ◦ λ = ( 0 1 ) 0 = f ◦ λ = π 0 ◦ t Y 0 f λ2 2 Y Hence it follows that (f ⊕ f 0) ◦ λ = t, and λ is unique with this property because of the uniqueness of λ1 and λ2. This establishes the claim and thus shows that (f ⊕ f 0, g ⊕ g0) is an element of E.
Proposition 3.12. Let (C, E) be an exact category and let
i X / Y
f (1) f 0 X0 / Y 0 i0 be a commutative diagram in C with admissible monomorphisms i and i0. The following are equivalent:
i) (1) is a pushout square.