TEST BANK FOR An Introduction to Category Theory By Harold Simmons [Solution Manual] Converted

1.1 Categories defined 1.1.1 Not needed?  1.1.2 These examples are dealt with in Section 1.5.  1.2 Categories of structured sets 1.2.1 (c) Consider the function f(r) = r(a) which sends each r 2 N to the rth iterate of  applied to a. A simple calculation shows this is a Pno-arrow. A proof by induction shows this is the only possible arrow.  1.2.2 Consider a pair (A;X) f - (B; Y ) g - (C;Z) of such morphisms. We show the function composite g  f is also a morphism, that is x 2 X ...