20 1. Categories and Functors (c) State (and prove?) the dual statements. Exercise 1.47. In what sense do the maps w constitute a natural transfor- mation? Problem 1.48. Show that for any f : X → Y in a pointed category C and ∗ : W → X, then f ◦ ∗ = ∗ : W → Y . Also show that if ∗ : Y → Z, then ∗ ◦ f = ∗ : X → Z. Conclude that the functors morC( ? , Y ) and morC(A, ? ) take their values in the category of pointed sets and pointed maps. Exercise 1.49. (a) Show that the trivial group {1} is simultaneously initial and terminal in the category G of groups and homomorphisms. Show that the vector space 0 is simultaneously initial and terminal in the category of vector spaces (over R, if you like) and linear transformations. (b) Show that in the category ab G of abelian groups and homomorphisms, the map w : G ∨ G → G × H is an isomorphism for any G and H. Also show that the analogous statement is true in the category of vector spaces and linear transformations. Matrix Representation of Morphisms. Since sums are domain-type constructions and products are target-type constructions, the maps from a sum to a target should be fairly easy to understand. Problem 1.50. (a) Show that, in any category C, there is a natural bijection between the morphism set morC(X1 X2,Y1 × Y2) and the set M of all matrices f11 f12 f21 f22 with fij ∈ morC(Xj,Yi). (b) Now suppose that C is a pointed category in which the canonical map w : X ∨Y → X ×Y is an isomorphism for each pair of objects X, Y ∈ C. Show that composition morC(Y1 Y2,Z1 × Z2) × morC(X1 X2,Y1 × Y2) ∼ morC(X1 X2,Z1 × Z2) morC(Y1 × Y2,Z1 × Z2) × morC(X1 X2,Y1 × Y2) corresponds to matrix multiplication in M.9 (c) Show that linear transformations R2 → R2 are in one-to-one correspon- dence with 2 × 2 matrices with real entries. 9 Exercise. What exactly do I mean by ‘matrix multiplication’?
Purchased from American Mathematical Society for the exclusive use of nofirst nolast (email unknown) Copyright 2011 American Mathematical Society. Duplication prohibited. Please report unauthorized use to cust-serv@ams.org. Thank You! Your purchase supports the AMS' mission, programs, and services for the mathematical community.