An Introduction to Category Theory (2011) – Solutions Manual – Simmons

1224561789 5 9 9

,0121345678325135
9 3 54 54
 573251
 456251
34

, 012345672841



9 44 

7412
814 3!"" #3784$
3%81&
5&3 4$58$'76(2%)*4+ 3,24 -54+12 8. 144(62841
3 817(655812 44)
9  -
&7412
81
/4343(74/-(224$4(62841)
9  4(62841
3
33
1& %7
-23
15752684124/
27 2 #378812 44)9 6
8$%46+
122 4(6284124 #378 0121342 3 #378 817567284124$8
-2304$2
449,8/-(%&4248
-230,7728412 3
15(44
22 3 4(62841)
9  -
&
3 81
(
3&3$43/
22
12 44)0
2
14/ 7
3 +82 2 -
&
3
42
2+ 3 -48(
4(62841,43

27 4$4(62841,'241
546( -
&):$
7463,2
28142
(+
%-48(,
1582/
12
24/ -
&
3(41&32
142 3)
;454622  4(6284128((7412
812%-4,&
3(5 82,
15-3
- 1/82
)0+8((
6-5
2285476/ 12 3%44$21)9 5
2412 $3412-
&
15 (4+81587
2+ 128
3841+
-345675)
<=7-2/ 3!"<<




88

, 01234235

6 789  6
 034145424  
 034145153345435  


21
24421342312 
! "141#$%3434145 !
& '
15#$%4341452125 &
( )8* 8+ 9, 6-
 .#/52  0
 "12524$5 1

2#$%4%#3521%#35  !
! 323%22%14435 &
& 513521$135  0
 67%8452147%845

0 5%%952$5/135 !

1 :523/41$$1534341; !<
= >?@*9 8@+@89?8A98@B C89@ D6

 E2315424 &

 21#45#$%42315 &


21#4%4555#$%42315  &



 '/44$1
45432315 &



 2$45F$45435F2$15435 &




E23151#$135 &


! 01##341; &<


& G3/44H#$%45 

! I3%3251#3125424  1

& 6H#$%45123%3251#3125 0J
K LC98@+*AC9@ @ 8A M=
! '4#$%342#N53$55 <

! E23134145 <
!
51%4#251%312 <0
!! :2O45%51%312 <1
!&
41#43%#321%#3 <<
! P1
31%%34432%#35J
! Q#352RSTJ


,01 23456789463
 000 
 000 

000


!"#$%&"'000()* 
+ ,-./0123405 667

 89:$&0"9%;%9 

 89:$&0"0''$<=%9 

 8='>%?<=0&%@=A'% 

 8%BC%"<%0&%@=A'% 

 8"A"'">0&='%@=A'% 

 89:$&0"$&"$A'%9 

DC%$0=9C%&"B$0 



E<%%=9&"F<%%&"<$&0" 

!"<=1=<0==9:$&0" 
G H45I25J0-K4043-5I25 6+L
 M"%=9&"A'%%A"% 

 DN"&=%>"<0%"F&"A'%%A"% 

 O%&0""F=A"% 


DC%N"&"A'%0" 



DC<%%%9"F$&"<" 

"><0>"F=9:$&0" 

DN"=9:$&0"F"<PB% 

DC%$AA%<'%F=9:"0 
Q
Q DC%$AA%<=9:$&0" 
DC%'"N%<<0>C=9:"0 

DC%'"N%<=9:$&0" 

, 0
1234567849
00 
00063444 
00


49442 !"4927442"3#83
8$4%386&'(' 
0
)*+*
0
0,%-1698473
4./%386
0123456173
#
8%
94942%
289363
42:;83472346.52!!"84367'<98!"4%2"%/"23869
6#93
8989
2=>?@2776#'<!766.AB8/%3869
6#93
89893
46"B!6998A"42776#' 
0

1698472!287
1CDE3 0 F 1GDH3 I F 1JDK3
6.9/%
67!
89 9'L49
6#3
4./%386%6 !69834IM0892"962 67!
89 N3
2389
O8E4P I101O338K
.6742%
4"4 43O6.C'

4 67!
89 !76!473B6.023
4I58Q49
O8E4P R401O38H4P I101O334I1R38K
2974S/874'

89649T3B43!76Q4#4
2Q42%234567BNA/33
463
4774S/874 439U2776#
%6 !698386892996%8238Q4N23
47427484383B2776#9U274429B' 
0
V

42!!76!7823463866.2776#
1CDW3 0F 1GDX3
892./%386A43#443
4%277B8594399/%
3
23
1ODR38W4P 101O3D01R338X
.672""ODR8C'

8954472"8Y493
4842/948=Z[2=?\' 
0
]1698472!2876.%638/6/9 2!9
W ^ FX _ F`
A43#4436!6"658%2"9!2%49'<98!"4%2"%/"238658Q49
1_M^3a 4^a M_a
#
8%
893
474S/874!76!473B' & 

,0 1234567896




!
"#$%"
$!&$!'!
()#
""$*+$(%$,$!-
,
$%"
$!,
,,$+

.#$!$/

0$(,$/!1
+
1$"#2
),$



3,!14,
3
)(!567 $/'
3!#
""$*$!-
,,
"84"34!
.9"+)#,%
:!1'
,3$!$,
$*

 ,
($!$3'/$"*3$!;:!$*

 ,
,
-
"
",$(+
1$",/$"*
+
,,$)
"1,!$
,-
,,"

"*"34
,
$4)3!;*$""#4,2 <
= -$,
$*

>?@ ,
+
1$"#*(4,
)
,,
$*

+$(%$,$!$/
""$*,,

,,$+


A$!,3"
"+$(%$,)%
"
)/4!+$!,
 B CC D E CC F G CC H
K K K
J B J E J G
I L M

,!3+
3(4,3,+"
G&NE&BO NG&EO&B

!3,
$*


#
"
,
(!3
 E&B CC F G CC H  B CC D G&E CC H
K K K K
J E&B J G J B J G&EQT
P Q
R L I S
*
"
UVPWX UVI
!3BNUOVL YVSWX YVL
!3ENYOVM
/$"UV
!3YVD
),$!3
 G&NE&BO CC H  NG&EO&B CC H
K K
Z G&NE&BQROQ[  G&NE&BQTOQ\
J J

*
" ]^UVP a^ ]^UVI a^
_ b _ b
UVZWX ^`
!3 UVWX
!3
NE&BQRONUOVM^c ^`BNUOVS^c
/$"UV,
$*Z
!3
*$/4!+$!+$(%$,,
"84
)
d$"UVZ*


UVP',$

BQRNUOBNUO-
4,'"(("!1
3e!$!$/P
*



UVZWX UVI
!3BNUOVL
!3NE&BQRONUOVM
/$"UVf(("!1
3e!$!$/S*



BNUOVSWX BNUOVL
!3ENBNUOOVM

!3
!+
UVWX UVI
!3BNUOVL
!3NE&BQRONUOVM
/$"UV-
,,
$*,

Z

,012134567896 8 59596 65 



!"#

$ %&'
(
)") *+,% / &'
*+,% /&'
+&%&''
-. -0 -.
)1#
2,*+,%-./-0&'
2&+&%&'''
 *&2,+ ',% /&'&2,+ '&%&''
2&+&%&'''
-3 -4 -3
)")
2,*+,%-./-0&'
2&+&5&'''
*&2,+-3',%-4/&'
)"6)"))")6789)9:;))":
!")<8)))6=>#))?789)?;)?789) >9")@
9))789)ABC 6"9"
@ F@
E

ABC
D
@
6"#6;)?789)
)"9:;)
@ ABC FF @ % FF G @ % FF G ABC FF G
E E E E

ABC %

% D ABI
D D D
@ H H G
6"%<);)?789)J9:;8))"9:;)6K)8


LM 
@ABC&'
H 
LM 
H%&'
G
N7
@O)P)9)
QR@ S)9)")T79)


H

<8)777)J"69:;)
@ %,ABC FF G @ ABI ,% FF G
E E
H %,ABC-U H ABI ,%-U
D D

)"789)9:;)
%,ABC-U
%,ABU
% ABU ,%U
ABI ,%
%
)"6
%,ABC
%
ABI ,%
V8 W

,0 1234567896




 !
%&
"#$' )*+,
(
-
./!
0
-1

%2324567 (8389567

:2"#$-
:8)*+,1;
-<%-/
!-<-( =>-!-1?
=>

@
>
A( B%C232 A%B(C838
2-81
D
@
-


=1E
"#$
2 F && G
J
I F
H



%2 %AFC& %G
K & FAKC KLH
K & 6 KL29H
6 &6


)*+,1;
-

M
%AFCAKC3 F6AKCKLH
KN
LH
%AFCA6C36
KL21O@


<
)*+,1
P-@

8 Q &R
)*+,1S
HT(8389567
@ H389QU A6C

VLHWX QAVCY36
VL81;
<6N LH1D
>

(8 (AQC&&(R
J
H QZ[
I

, 012134567896 8 59596 65 




 !
"

#

$
%
& '()(*+* , -
. , (.*
./
. , 0
./)&1
0 , 0

2
'()(*3
4


42442!
542#262
2
#

7 + ,8
2
2%$
%
26
24
'7 3'(+*, '8
4
4%29
262
2
#
!"24

: 3'73; (0*

2
</: => (<*?30=> </

2</7!"#

:3
4

@A 3+
2
)('(+**3+
2
B#
!
C#
92DEF2GHIJ 2K


2
2LMN O
PQRQST4
$22

UVGHI GHIVU


22$

2
!52$
X
2W

2

##

\
7(YZ@[/U*
2
7
#

4
2UV
]
2L

^V6262

7!"


2L
L#


2



Y_`YZ3YZ_ Y_`YZ3Y_Z

[a./U!b
cdefghfbci cdb"gfefghfbci
!52$

224
X7(YZ@[/U*\ + , X8(jZ@[/U*\


2
#
+42


#2
+`YZ3jZ`+

2[/U! O