Elements of Basic Category Theory Alfio Martini

1 downloads 0 Views 948KB Size Report
[B ur 6] B urmeister, P . r Model t c eoretiВT O riented r pproa Tc to Partial r lgeCV. ¢ ras, volume 32 of Mat c ematiЖT al 7 esear T cU V Mat c ematis Tc e § ors Tc ...


  



 

 

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

457698;:'=?A@

6CB*DFEG?IH

 



 



 

 

 

  



 

 

  !#"$#%!&(')*!$

+-,/.103254760 8   9:1;=@?9BA1Z92=# $ &% E(' 9)'*% + $  '-, S/.0"12 435 =8O69VF >Z3I? 92=WEG?B9^>6  ER> #8 M[9VX AD=W9` =W3 ' ƒ:T 5Z>Z92=KSZM[3D?@=8O69;:E8ADF&ChM[3V`ITQ;2= 9 TI>:9 =8O69 FU3D=WAD=WE83DF7 B=W3`D92FP3D=W9B=8OQAI=



H:9B#9: [ )H:19\9BA1=@19: [Ue‚@1[19I9BA=@A-9BAfQ C/9:AD=WER>DC!9:>FE G '/H*3DMAIXGX# I%-J SZ3IM>:3D?B9K - L\=W3D=WADX8X c `D9MC FP9`NBO' P '-B ADFU`Q NRTS  NR 6 92XGX 8 `I9(C FU9:EGFIHQX 9 8VU ADX T69'R9?'@%

`)hyQ_OPM=@1 XV[1 EG?BA:H69 E > /%E('R9?'@%E S B

  

B E S6pOQ92FP9 U 9VM 

 

/

E S\EG=-E > 5 3D=8O E8F:7:9:TQMR7:9Z?  N   9   N% >:T6;:O =8OQAD=-=8OQ9!S:3DX8Xb3X6 EGFIH OQ3IXb` > E *H 3DMAIFPc ?B3DMNCPOQER>Z? >/#1  1 sEGF    &>ZT6;:O =8O6AD=                 FE 



'\AIF



9

 





3 C/9VM[AD=W3DM      N%!AK  >>Z E HQFU EGFI H4 =W3s9AD;:Os3Q587:9;V=I%(ADF E8`D92FP=WE8=Wc ? 3IMWCPO6E >:? /% >:T6;:O =8OQAD=!=8OQ9!S:3DX8Xb3X6 EGFIH OQ3DX `K>FE        H*3DMAIFPc ?B3DMNCPOQER>Z?  >ZT6;:O =8OQAD=  9A   9E

' (

'



0 0



' +

Y



77

X4$#

' (



?Z  

 ~ 472 .   

` 8 9:1;K=\?]9BA1=\?] H)eH:1FJ}[1C ]m/FogJ1F…e? ' QSJ[19: J O) 9BAŠFXJ JF [1ZAI=WE > C 9^>l=8OQ9

.  2) 91  ER> A >:9V=B92TQE C U AK>:3V;2EGAI=WE 9\X A6 % (E 'R9?'@%QS:3DM\AIXGX 1 "1 E

    ' 1





9







:> 9V=-9 2TQE CDC 9`76 E8=8O A 5:E8FPADMc3ZCh9VMAD=WE83DF ADFU` A FPT6XGX ADMc3C 92MaAI=WEG3DF < 8>Z92X 9=8OQ9 E8`D9VFU=WEG=Wc 9VX 9V?B9VFU= (B6pOQ9VM[9?E G ' 1  ER>\A >:9V?BE HQM[3DT^C ' P'



 %/S:3DM\AIXGX  '

  

 X0  

    '

 



   



A1Q1 BER>\A



9` 6 GE =8OA 5:E8FPADMc 3ZC 9VM[AD=WE83DF p6 OQE8;:O



 



 







   X0    '   G ' E >\ADF 4 ) 47, 0 E S\AIFP` 3DFUXbcBE S ER>\A FP3DF 8 9V?gCh=Wc C FPE8=W9>:9V=-3[S\>:cK? 5+3DX >F' P '/H*3DMA H6E U 9VF ADX CPOQA65+92= AIFP` A FPAD=WT6M[ADX!FPT6? 5+92M %\As>:92TQ92FP;9 3[S>ZcK? 5+3IX >Q    V E > A .1032!   < 3DMA # g2! B 3[S Xb92FDH6=8Oq3 U 9VM=8OQ9 AIX CUOQAQ5 9V= E S ADFU` 3DFPX c E SN% SZ3IMJ    V  % 9 '  '/* H 3DMA HQE U 92F ADX CPO6AQ5+92= AIFP`A>Z=WMEGFIH     0  3 U 92M  %   `D9VFU3D=W9:>\=8OQ9BX 9VFIHQ=8O 3[S % E(R' 9?'@ %      0 )9'  '  E U 92FAIF ADX CPOQAQ5 9V= % =8OQ99V?gCh=Wc 6 3DM[`)% `D9VFU3D=W9(`D9MC FP9`\A >g5 9VE8FDHB=8OQ9T6FPE VT69&>Z=WME8FDH ;3DF >ZER>Z=WE8FDH 3eS : 9VM[3 >:cK? 5+3DX >F'  '  E U 92FsADFsADX CPOQAQ5 9V= ADFP`A FP3IF 8 FU9 H6AD=WE U 9\E8FP=W9 HQ92M %96 9B`D9(!C FP9

ER>\A >:=WM '  E \=8OQ9BE8`D9VFU=WEG=Wc 9VX 9V?B9VFU= B lA M[92XbAI=WEG3DF S:M[3D?  W= 3 HQE 92F 5:c

  

 X0  

  "  '

 O .0"1 435 A$ 

4

)  

 

 '



XJ;D9: =\1 j#9: J m9AM F3J9: 9?N=\1 j#9: JH)J ‡KJF  ` K` % m ' ( ' + `

7



  #" 9V=

  

 X0    ' ' )T47250 4   g2! &2*

>ZAI=WE > C 9`OE G'





. >0

5 9 A>Z92=!ADFP` A M[9VX AD=WE83DF 3DF =8O69 9VX 9V?B92FP=8>\3[S' 1  BER> ;ADX8X 9Z92=USZ3DM >:9V=8>F'  SZT6FP;2=WEG3IFS:Ma3I? 1  & =W3  1  & E >A SZT6FP;2=WEG3DF~ A    

4

 X0  



 '

 

)  

 '

U=:CA HB}H3`

1

19

w)A~[39:1;=@? )KJF

" g. >0

  70  6

>:TQ;^O =8OQAD=

QS  

AHNC!\A?B3DFU3DEG`  P '         < E8F U 9VM >Z9 XbAX6"BX'    X0    '  " 9V=  1Q1  1  AIFP` 1 1   1   \ 5 9!HQM[3DT^CP>F'  S:T6FP;V=WE83DF ~    E > A g2)    g2!) . E S%S:3DMADX8X 1   E G '   9   <  ChM[9:>:9VM U 9^>\=8OQ9BEGF U 92M+>:9\3C/9VM[AD=WE83DF)B P '   5     <  ChM[9:>:9VM U 9^>  B  '   9   D<  C#Ma9^>Z92M U 9:>\=8OQ9BE8`D9VFU=WEG=Wc 9VX 9V?B9VFU= B

/

)  

 

2 ) AH-;>=@=@SC AU}=:CA HB w Ak[39:1;K=\? Y! ) H U=:CA HB}H3`cw)A)F19 G1FsEK3=@po7[39WGA  8 EGFU`D9:]K9:9V=8>;      N% p6 O6EG;^O E >\92?(C#=Wc E S   E >\92?(C#=Wc!SZ3IM\ADX8X  ' pOQ9B9V?gCh=Wc  8 >Z3IM:9V=-E >6 ME8=W=W9VF #' P ' " 92= :      W%      \5 9  8 >:3DM=W9Z92=8> ' pOQ92F 6 9BO6A U 9)E        

 F' +  J  +  S:3DMADX8X   

' ;  J + ADFP` +   '  F  8 . g250     60   ~  ; ER>lADF  8 E8FP`D9^]_9`(S:AD?BEGX c 3eS SZT6FP;2=WEG3DF >7 )        '  '/R, SIŠ   ADFU8 `z   ADM[9 8 >:3DM2!% =8OQ9VF =8OQ9VE8M 6!  ) . 0   -r ;  E >=8OQ9  >:3DM:E >:=8> 3eSAs>:9V= %=8OQ9 >Z92=3eS .2303. %ADFU` A   $  8 EGFU`D9:]K9Z92= A       1   N%*; =8OQ9 >Z92=!3[S 3C/9VM[AD=WE83DF/> >ZcK? 5 3DX >6 EG=8OsADM8HQT6? 92FP=->:3DM     ADFU`M[ADFIHQ9 >:3DMZE HQFUAD=WT6Ma9   91 N% ADX >Z3 ;ADX8X 9(H6E U 9VF 5^c =(6 3&S:AD?BEGX E89:>  (       \AIFP`  (  %$ (  $   6pO69VM[9 G '      ER>\A(S:AD?BEGX c3[S  8 EGFU`D9:]K9:9V=8>N%L;ADX8Xb9` ,T47. v.03. 3[S  ' P ' $ ( ADM[992Xb92?B9VFP=8> $ (  gSZ3DMBADX8X ;3DF/>:=WADFP=8>>:cK? 5+3DX > $   1  %(;ADXGX 9` 6!  .1014  03. 3eSKQ'  ' $ (   J$ $

    sADM[9 S:TQFU;V=WE83DF/>&SZ3IM ADX8X(3C/9VM[AD=WE83DF>:c_? 5 3DX > $       $   < E(' 9)'*%      4 B ADFU`        %  %%;ADX8Xb9`  ) 2340   . 3[S/ %6pOQ9VM[9 V$ `I9VFP3I=W9:>\=8OQ9B;ADMZE8ADF ChM[3V`ITQ;2=8>\3[S\>:9V=8>F' Y

?Z   '  ' h Q]9BA-HWG;J9BS=@   91 fGHs;K EK3JrHs~ GHW9   1#1   :TQ?B9 =8OQAI==8OQ9^>Z9>:9V=8> ADM[9 C/ADEGMN6 ER>Z9 `DER>87Z3DE8FP=&ADFU` AIX >:3s`DER>G7:3DE8FP= 6 E8=8O ' p OQ9 >:9V= ;    E >\;ADX8X 9