<< Предыдущая стр. 10(из 60 стр.)ОГЛАВЛЕНИЕ Следующая >>
f
в€’в†’B
в€’
Aв€’в†’
в€’
g

is the pullback of
A

(id, f )
c
E AГ—B
A
(id, g)
if it exists, and in a category with a terminal object, the product of objects A
and B is the pullback of
B

c
E1
A
if it exists.
1.7 Limits 45
5. (a) Let C be a category and A an object of C . Show that the product of two
objects in the category C /A of objects over A is their pullback over A in C.
(b) Show that the functor C /A в€’ C which takes B в€’ A to B creates
в†’ в†’
pullbacks.

6. Call a non-empty graph connected if it is not the disjoint union of two
non-empty subgraphs.
(a) Show that the forgetful functor A /A в€’ A preserves the limits of dia-
в†’
grams over connected graphs (which are called connected diagrams).
(b) Show that the category of п¬Ѓelds and homomorphisms of п¬Ѓelds has limits
of connected diagrams and no others.

7. Show that if D is left exact and F : D в€’ C preserves п¬Ѓnite limits, then the
в†’
comma category (C , F ) is left exact.

8. Prove Proposition 1.

9. Let A be a topological space and let O(A) denote the set of open sets of
A partially ordered by inclusion considered as a category. Show that O(A) has
п¬Ѓnite limits. Does O(A) have all limits?

10. A monomorphism is regular if it is the equalizer of two arrows. (The dual
notion is called regular epi, not вЂќcoregularвЂќ). Recall from Section 1.4 that a
regular epimorphism is denoted in diagrams by a double-headed arrow:

в€’в†’
в†’

We have no special notation for regular monos nor for ordinary epis. The reason
for this asymmetry is basically one of convenience. In most of the situations in
this book we are interested in ordinary monos, but only regular epis. Actually, in
toposes where much of our attention will be focused, all epis and all monos will
be regular.
(a) Show that any arrow whose domain is the terminal object 1 is a regular
mono.
(b) Show that the pullback of a regular mono is a regular mono.

11. Let D: I в€’ Set be a diagram in Set. Let в€— be a п¬Ѓxed one-element set.
в†’
Show that the set of all cones over D with vertex в€—, equipped with the correct
projections, can be interpreted as lim D. (This proves that Set is complete).

12. Show that Grp and T are complete.
op
46 1 Categories
13. Let D: I в€’ C be a diagram, and let A be an object of C . Then DA =
в†’
Hom(A, D(в€’)) is a diagram in Set. Let Cone(A, D) denote the set of cones over
D with vertex A. Show that the limit of DA in Set is the cone О±: (Cone(A, D)
в€’ DA with О±i (for i an object of I ) deп¬Ѓned by О±i(ОІ: A в€’ D) = ОІi, for
в†’ в†’
ОІ в€€ (Cone(A, D).

14. Show that representable functors preserve limits. (Hint: Use Exercises (11)
and (13) A direct proof is also possible.)

15. Let D: I в€’ C be a diagram and let О±: W в€’ D be a cone over D. For any
в†’ в†’
object A of C , let Hom(A, О±): Hom(A, W ) в€’ Hom(A, D(в€’)) denote the cone
в†’
with vertex Hom(A, W ) which is deп¬Ѓned by Hom(A, О±)i = Hom(A, О±i). Show
that if Hom(A, О±) is a limit of Hom(A, D(в€’)) for every object A of C , then О±: W
в€’ D is a limit of D. (Of course the converse is true by Exercise 14.)
в†’

16. Let C be the category of inп¬Ѓnite sets and maps between them. Show that
the covariant powerset functor P which takes a map to its image function makes
P(A Г— B) isomorphic to PA Г— PB for any objects A and B but does not preserve
products.

17. Suppose that the category A has п¬Ѓnite limits. Show that the kernel pair
of any arrow is an equivalence relation. Hint: you will have to use the universal
mapping properties of limits.

18. A more general deп¬Ѓnition of equivalence relation is this: a pair u: E в€’ A,
в†’
v: E в€’ A of arrows is jointly monic if for any f , g: B в€’ E, uf = ug and
в†’ в†’
vf = vg imply that f = g. Such a pair makes E an equivalence relation on A if
for each object B the subset of Hom(B, A) Г— Hom(B, A) induced by Hom(B, E)
is an equivalence relation (in the usual sense) on Hom(B, A). Show that this is
equivalent to the deп¬Ѓnition in the text when the product A Г— A exists in the
category.

19. Show that a relation (u, v): R в€’ A Г— A in a category with п¬Ѓnite limits is
transitive if and only if, for the pullback
ER
P

c c
EA
R
it is true that (v в—¦ pi , u в—¦ p2 ) в€€ R.
1.7 Limits 47
20. Show that h, k: K в€’ A is a kernel pair of f : A в€’ B if and only if this
в†’ в†’
diagram is a pullback:
kE
K A

f
h
c c
EB
A
f

21. (a) Show that the underlying functor from the category of groups creates
limits.
(b) Do the same for the category of compact Hausdorп¬Ђ spaces and continuous
maps.

22. Show that if F : C в€’ D is an equivalence of categories, and U : D в€’ A
в†’ в†’
creates limits, then U F reп¬‚ects limits.

23. Show that if E is an equivalence relation on A, then E Г— E is an equivalence
relation on A Г— A.

24. Let F : B в€’ D and G: C в€’ D be functors. Show that the following diagram
в†’ в†’
is a limit in the category of categories. Here (F, G) is the comma category as
deп¬Ѓned in Section 1.2.
(F, G)
В d
В  d
В  d
В  d
В
В‚
c
B C
Ar(D)
В d
В  d
F G
dom cod d
В
В  d
В  В‚
dc
D D
25. Show that if A and B are categories and D: I в€’ Func(A , B) a diagram,
в†’
and for each object A of A the diagram D в—¦ ev(A) gotten by evaluating at A has
a limit, then these limits make up the values of a functor which is the limit of D
in the functor category. Conclude that if B is complete, so is Func(A , B).
48 1 Categories
26. Suppose that A is a category and that B is a subcategory of Func(A op , Set)
that contains all the representable functors. This means that the Yoneda embed-
ding Y of A op into the functor category factors through B by a functor y: A op
в€’ B. Suppose further that a class C of cones is given in A with the property
в†’
that each functor in B takes every cone in C to a limit cone. Show that y op : A
в€’ B op takes every cone in to a limit cone.
в†’

1.8 Colimits
A colimit of a diagram is a limit of the diagram in the opposite category. Spelled
out, a commutative cocone from a diagram D: I в€’ C with vertex W is a
в†’
natural transformation from D to the constant diagram with value W . The
set of commutative cocones from D to an object A is Hom(D, A) and becomes
a covariant functor by composition. A colimit of D is a universal element for
Hom(D, в€’).
For example, let us consider the dual notion to вЂњproductвЂќ. If A and B are
objects in a category, their sum (also called coproduct) is an object Q together
with two arrows i1 : A в€’ Q and i2 : B в€’ Q for which if f : A в€’ C and g: B
в†’ в†’ в†’
в€’ C are any arrows of the category, there is a unique arrow f, g : Q в€’ C for
в†’ в†’
which f, g в—¦ i1 = f and f, g в—¦ i = 2 = g. The arrows i1 and i2 are called the
coproduct injections although they need not be monic. Since Hom(A + B, C) в€ј =
Hom(A, C) Г— Hom(B, C), f, g represents an ordered pair of maps, just as the
symbol (f, g) we deп¬Ѓned when we treated products in Section 1.7.
The sum of two sets in Set is their disjoint union, as it is in Top. In Grp the
categorical sum of two groups is their free product; on the other hand the sum of
two abelian groups in the category of abelian groups is their direct sum with the
standard inclusion maps of the two groups into the direct sum. The categorical
sum in a poset regarded as a category is the supremum. The categorical sum
of two posets in the category of posets and non-decreasing maps is their disjoint
with no element of the one summand related to any element of the second.
The coequalizer of two arrows f, g: A в€’ B is an arrow h: B в€’ C such that
в†’ в†’
(i) h в—¦ f = h в—¦ g, and
(ii) if k: B в€’ W and k в—¦ f = k в—¦ g, then there is a unique arrow u: C в€’ W for
в†’ в†’
which u в—¦ h = k.
The coequalizer of any two functions in Set exists but is rather complicated
to construct. If K is a normal subgroup of a group G, then the coequalizer of
the inclusion of K into G and the constant map at the identity is the canonical
map G в€’ G/K.
в†’
1.8 Colimits 49
The dual concept to вЂњpullbackвЂќ is вЂњpushoutвЂќ, which we leave to the reader to
formulate.
The notion of a functor creating or preserving a colimit, or a class of colimits,
is deп¬Ѓned analogously to the corresponding notion for limits. A functor that
preserves п¬Ѓnite colimits is called right exact, and one that preserves colimits of
all small diagrams is called cocontinuous. In general, a categorical concept that
is deп¬Ѓned in terms of limits and/or colimits is said to be deп¬Ѓned by вЂњexactness
conditionsвЂќ.

Regular monomorphisms and epimorphisms

A map that is the equalizer of two arrows is automatically a monomorphism
and is called a regular monomorphism. For let h: E в€’ A be an equalizer of
в†’
f, g: A в€’ B and suppose that k, l: C в€’ E are two arrows with h в—¦ k = h в—¦ l. Call
в†’ в†’
this common composite m. Then f в—¦ m = f в—¦ h в—¦ k = g в—¦ h в—¦ k = g в—¦ m so that, by
the universal mapping property of equalizers, there is a unique map n: C в€’ E в†’
such that h в—¦ n = m. But k and l already have this property, so that k = n = l.
The dual property of being the coequalizer of two arrows is called regular
epimorphism. In many familiar categories (monoids, groups, abelian groups,
rings, . . . ) the regular epimorphisms are the surjective mappings, but it is less
often the case that the injective functions are regular monomorphisms. Of the four
categories mentioned above, two (groups and abelian groups) have that property,
but it is far from obvious for groups.

Regular categories

A category A will be called regular if every п¬Ѓnite diagram has a limit, if
every parallel pair of arrows has a coequalizer and if whenever
fE
A B

g h
c c
ED
C
k
is a pullback square, then h a regular epimorphism implies that g is a regular
epimorphism. Weaker deп¬Ѓnitions are sometimes used in the literature. The
property required of regular epis is sometimes described by the phrase, вЂњRegular
epis are stable under pullback.вЂќ Some related ideas are deп¬Ѓned on page 240.
50 1 Categories
In Set and in many other familiar categories (groups, abelian groups, rings,
 << Предыдущая стр. 10(из 60 стр.)ОГЛАВЛЕНИЕ Следующая >>