From 849c415554f02900fe3186c9bbbaa18fe9def90a Mon Sep 17 00:00:00 2001 From: Olivier Revollat Date: Thu, 22 Sep 2022 12:16:13 +0200 Subject: [PATCH] added The Joy of Abstraction by Eugenia Cheng in Books section --- ...-abstraction-exploration-category-theory.jpg | Bin 0 -> 33891 bytes readme.org | 7 +++++++ 2 files changed, 7 insertions(+) create mode 100644 img/joy-abstraction-exploration-category-theory.jpg diff --git a/img/joy-abstraction-exploration-category-theory.jpg b/img/joy-abstraction-exploration-category-theory.jpg new file mode 100644 index 0000000000000000000000000000000000000000..e366191e5d9dde6746ec10c7ac281d81015e1919 GIT binary patch literal 33891 zcmb5V19arw@+jJ|?PQXPZQHh!2`08}W8$P^+qRRL*tRpVZA@O~obR0b-hZuo*L~H! zdhg%v!e;HN>gtc>k8J?5w78Tw00aa80Qr0YKGp!i02mlpXjo`CI2brsI5;>&WO!IO z1T-uRWOO7z0 z6bu{!5(@fb6#x(RNrnuD{7KXio89s2zr>&*B%A;MA?kk{J}b}wfFuAE`WaHURnM`i zn^ZmRTm^-P?Ao?ebUElGUWL(-FSS9_($W9FM9?6a2DFERNbHj?ZzT^cwhOsjj@$o*Z8LX9oFo_rH6F9=vb|7V$$k{ ze%)U9e~SMLppZyAAW@z=1=x4Rv^Pw%-?s*5t~1?h40p~8P0m=EoQ^ps?O0t6JKXKzin)&1t2nyi;a8aCr>zB%0WBbv8O?Z#W-~C~Ki6UN0r1f>^4s%MzftU4!hv?PtZ!4apbgmsoF27iT#f;DJ>) zYjNgz1{t^T2LJ*wE%Ep-{Zx4e+I4kWOK>lHiWOG4=;hb@%fj{ty`5^{z4|s(pJePd zw|mHp810^M&jK|zFJbYS^3!5)WvAnCGc-z6ER&1p**HXv)t0mm>MkDQ9(*SFq4js+ zh381{NG^2bNTz=B(=6MIOU=1;Y~|)s+a z!iNtkbn`2jvAjp1r6+YeZAY0~eiV=%x}D=qG8HaCyXk96i+k$^6jU4Z?J62z(d#Tx zC(OOZ0Dl==w=2E!ju|$hrpcwV+0(!@9HywVpSCkg(F9wAs*LV-W_@yPeRn)ZGD+-a z9Mn_E?iW^|X)r8dycxjjZ;7Wb8A#t91{{TK4vuBo-P&nYY*ptLSz_Qkj}DI~>kP`) zsI%A`NFq0QU;3+(D#)CspVw63@5q<1Cc9QWs)AkRS=>Jt0~rQDT7Ne9(*AtG>Jt7Z zMItET;Yi*}fMlv2lO;SNQ*W9ki~liZL}pN3VLDOwrOIb2xnRPxEzCH3&Sc7Qs@p0D z!IYA~HnF3`D{p{(UrwRY>G@!eU8!|l zQ1E7m;HP*1G!N%>g5}gs^Knyxl4p8Ur}5lDus?K+xi%gTaYp{#)I^c%DwE|Bcqr~V zauWa~JS^&9ceLLa5>pT{#$`>Vqr$h{#(7;m%F2FZ!EmaBU@bidQIb)(3~1}(3~}_00dY`ivF?L{;Q#|114m}cvZx&k7-Jm)mvrW$z7_qw@!dY8a!@ z7U|4L2fRpns|}yx{BPYgS%!Vz9dCFnCeLxXv+P`HvhP#&3~0Oa%R6vxtHU6wiTjS% zH;h6@wD(*MrmSVZJ+>;{bP)0Q;QyFV*kl`N{YF1pR<%y0tA&tMrD|u-C6RuY3t*H~ zIEuZyFfv{CQbUuSs^Pbr*_qL3bn)z_{FbUivjU9DETU0pRA*oAYL+hQvk8~HC&KBm zb26;1nW4joTB%wa*l>)bqd%58xo;bE_+@AP=Hs26HzB;sz$v@9lmOpd%L9N{m8liYc%2ct;|mGd)3I$=_GGQDI7+K5oaL`0D#vxX>(OfwFtW< z<=?Ej?~-zhVN)h+IPtAv-PwE&Z|>xf+e&v~4rk1<>?T7Fbw&=;XD+>lX6wj%K)cSg zJ<_&@?+AaLZzc6XOLsP9@zg15cdBL4*EV~~aL-b^Ds#0m+fFC0xn%e@I~J1?FV?Ow zJm6?1Z}OscuA0xZIH#rIN9?*THRg+-L-924SkdQw2|@@dt3znU_ceWKs=q_Rt@KU1 zd_Xm0Da*3WykeEhrv#mJogU+Wq?`VHNI~SGA8u{ z-I5!UZw>K?OuO>ShOI-U$DfC}zKwws@5zhRkXY1KeD#+auDV5!Lsu4-_JS_AgvV_1 z1d5hsv_)N1HSHz|ZJ=4yr;52c{&u!|OP|QZkb3mfN}eeLOAvs1d%56x)~QXz2bZ%H z)p?i?e!ps=(zO|iIs&&4?ez0U$>J+qLd#?%8iTUcp({;@fVBn(9?{&KWx*jy-tW^` zoZE}=wSgJmh4M5$keSnWBYyXZfs#n|9HHqeBYH4DlcO?uPYN!Cg_&Kk41?lP(Y+bq z;DzQW`P9hQt>Z7_U*>7TH#Q7+$av1NILhF)bG-5mZFB~ac#c5RdkM*fEuiBh0YNya z5JJcRQlh9NLD7IH|4+jNd)QwR1l~9fU_=Z64`9jB%`O_fI#A|ry@ulh8M7{WvcBSx zK`G|_0QhCiqHQFnqt$F7egL3KV%IapG$sa{Caj;X96P?rIq_xZj4Q9*d9+Ak(wrWz z5pCYy>+JF(2^%rP=A}}3wYWxN{`%Aq{|4FKi96hjlcwsjx*;Qa0S5>FoPc{oQ;u%_ zwUM(I8r@p$D0X=`-$CW{w4zm?uNl=AwM!ldO%)aC0yAyTxK+(8N=dMT-dhFfm)n>3 zh_)3u{GA;|Oxj~zEE-yFc+g%rCBNXc3I8JwL7%BHYQ#VI)x19CNgTz)+q*6EO=-;a4)H#w z?N#_hO55BQ7Lr`_DSoCJxVm!Dy3+mCL`E7A(K?uH_L>Vl|GTPKu`Q-$x2sl`W%(H` z&d}GE)?ZUXp0P}LPDRVC-|DU(+N;UV5H&0zDSn@Kb;qWc&|%d4wA{YfK4q)z8|UUx zAmwYBdv2xT^I|ryV9Fsq$>0IM#9Hl!B7&Dfd6~3xH6{1gLQJIQlnf2M4+{Pl`)>tahL{kQb=}r#MHE~TDn}3ipUT7p{Hy3a z?g;pX-BaoWNsS2qO(MdkjfA=L0kA#NW0jp8j$W*iQnOK`&6wMmd26ncGyFM&G3FJv zSDkemm$C489yVi{)(@Z0VOxH;w?J~h;j?qNRG<}!W;Z8)~>itMC;5!2an*Pxs1aZ>e*h5@cO<7b~f`zws(T~ZZ2IwiZh z->*}FIcVv+!9nkME$dlLvw_C=%+X>$ao%EyH9u&xfHTC@h1|tVP^E$~z*YZlpKS(i z_IZ3Mf2^^Ew~fVg?rJT-8O%9Aku6>9E6r+7(zPNa@Yi434^4R#(^NoZEDT-(uMOAz zcqb9?9h8%8Apd33A%o)@G|+1@fpNx)AO^{=rU6C*0799hWU-2wYcvnCqOt}nJ(2Li z;Glw_f}f@)0Nfw&sXL>9AObK{4L>__oY~6pao2d(H$0-sA5}YT>5NY2sK(S*pnoba zQbylTU7YK}NZ&{LI8HZkHs4DO52-mNER{u_rsuz3FX1~X@$c|nBnIbo9XKw0`Lgbl zLNBvDYxq~jzX4f9wq~5e&eV1RZfhx6{QO)6Ie}n7%q!i@bc&>$*rKZL>t&OzVuJS) zh3On>EbqHa!qCD|j4hSPNF?wfEadD$ry{bk!4_0)F2$2uvbPyCfbbvI0AkI%|il8%}LAk{4mwOUA;_lU!9%v7}MH9{@1brP8Ph zAg$EDFDXI%j=^%pwDkwTo3O5ORa`Wvk&IN}@^)aBGH7Q?wUQ{L zwcGxTN~h>ry3UGR*p+8(Tg=va^$M9|(EIc!J+HImO^WL(7I$H-Tzr7mW7*5YR=d{M znqvwnL?qvxxt}ML_^n#V3KBTEIDxT~benCK2d=FR>vfvtWUbH3I55MkJRZEXO9t2A z8{5lzDv$w#ykCqsTm{qpSQ(MI7dDx%4HXE+Bj zvow+3E0clo^|V1<*V{ee5e1{8r1;C*4PISoWa3==I3(@gUjGL`K}o5>0braU#ii?u z)$FW0?QV@;p+gky$4BP(wp~^H`L1xxXoUYk|4#{)QREqB=QvT#07W~RUf@KWZ}c`o zgfX*9?Dbfsj{Ca(AH@G%`Smjv!;B071p)nxzJP&)fPV&9K94jg01O2g6^)3AnUI)8 zh*40OL{UlE9vq!jlvG6D|1%H+{WnYl4f+9qJ5N2BTufV*X=)iCoMX`$pFp^q?TKC< zpBRT|0AY!%AQqWA zf9>%KSINuxEs;Ru?am++LI7W}X~*&2?}}O?5{)QZb-mpMiSEu^nUjtX(ZI~~p3Y>@DU?_ubX(w_L z9{^CBSNHW*3({Gs!UQSucsbG>ejY@v+BZ1~7H|5#0JR|+CGFl+_2pyI(loK5B-Ylp zSt&*8>&M7tk8E%J-Y_X!eR%g-kNoL52gLRMatYoGLUs=SbzuhRx|T33_FrdY7k-9C zb6}J7E24Yr(UT*Rh~CgpDTNx&iR)#9k-nU2U-?;6tbVK2w5;3Q9ecSGIJk~4WoCd2 z796Q509i8A44u)!icf>!tE^RZtAf7de~wU1hJJK1lqU3rwW}`R5O%_(H{v|wXkOV( z2Q9ZZ<6BjTSnFW?vL0--lU=)s`aUqhJ;|?y*F*VX5Gs@At8U3e?(VT_iBG?L5W4kP zP*fGNZmsJm|NSx8JZ7<>D#E_Z8a9Ew?>W`uSLG_63$)S!MD^a>_RpI;D0AYWeTpsH zig(eY^7h+7lho(u@6w6!{4=>u3oj$ENd!5rNICR%9~Mo>Myb`n?j0!1)Cp z5yPh;n)l(}2e!(!Hmpr!z%y(^A>t9Wc-T83H+s2eT8=zj4uSpifXK~phRbOjm5$p4 zWze%h91j(lfJ?j3HFzwPJyjOAaNK+cw=Egq`P{NMCH2r7QD0!nP0OMcfp!gbff?B4 zSg=)2cDRW*7sRS25l5R4agGa8rx-HW5Fwo@e|t$#6vdnaffL1_^vmT{TDS9iN$)cs zL((sn@G@mHZ{-XQLI5rA4^R%3z39YVj9}Jfhos!%Ekf$B^VDtb_k83MAJy~@(n^>l$H`NGj#x$XQd;`ExYBI>v;1eW8Sma$oC>3!P`9GsRh0wZ_xD2~Hzu2;qA zm7m8}HXJwQegM4@I?x8TY=3rL+Oo*)U(L*8vl=2xv@E%ip#+*fXK;5zaUw6=RIx zSmFDk?umIY*RM=H6Zj-;J&I=4NVQh7&B`$PBy{=)<2Ikvu=LPnga!8&?1ormFEMK# zOaTgMSqE+}tV88YwTbeJN#aXaMYHNpgDK`4^60OF+fOP6DW1*j&FHUT?)>QO(pxbk zrq~=t+kvBG;_pI1a7@^*Nm{d6L=0&n>i{mM;)6fSeqpO@QQ(D4bw&eYkESa)OB4ni=lof zM<|NTZ}n0uoxGB##yIN{qceXji>cY!M0{Z+aU}NMH3;@AYjm=fWey}EgcS+Q(=P?c{*57B>Ue!n!b7llDak6 z%ik><7d*;u)$-XbR6XrN=;K?4LYPdFy1@&5ltSj8l<;sgs#*V;><>T;^y6}UC~_b| z3@mMPtYVNs`JCE8g`9d%NNTuTrCUshwGQm#Wu=+vl}b_# zn^-4mu9Eo~?(+4oisrMUUXl=$6J6J9@lk`)LPMNj42j8nInmIvPg1{M+$z!*aySKu z(<-f<4vA~OXb2z}4y8=v`y}5qV;rTP13e{EK@@N)PhB}yj@d?uA%ySa=SBN9B?@ub)nfRAO zfdV~Dp(@r?cWCCPsqTIyXD0GL2G$v9&ko2KE*~3xO}=Nt%}aOH3YjD+3}vyTnJ6_~ zl}t--K~jyAslA1w^WbRY4aIzK=`Clu#K3TWJrQ7TQGhrhv%PX;^jUtMImavOO_9>x zAu-|P-se=@8_hyQQlvFC+egjWPa`)@i#L_}|5qfy{zt-$7d&3wZP6wHY)2>i)&;(RE0xPaL>$FAg+~=blW8@u3ByKFf~Bz&3>U4)*2^W)MHTeV8hNuKTuO4JX%z}1;0#*EEPY8IUS za$B1a`at!k0d1_ga@ zGaB{hbZcIoJN~p{l)dl_K2^J?<+|r_YVirfW1_E#{J++tZa1V{fF`^dJYY=qPwU(f znO!WpRrHCoK$G2J+Wy*`N1Dk{@|Hz2p3m+^<_e+-6kIhc@cW~dW$~^xdvL&b*#$Y4 z4twAhP73@7pe&jDfCR3ZL&x>Gm6xf0lu+x5iMWg;bt3V*Qn!;=xC1r25==XeWHggs zz3XVPG8p+?vtj+uUEFw+#OUKFs*_6~Tg|Bp;h{`=zx1EY-uRmb)=aIE*7!2w9%qZU zs@Y;G)$iqD7|1vufLJOwB5C@jA|)FxOto5o&} zR>H`|SJ8;pRa)=C{z~sGtSo%-uaIAhoG(k~=&mmjPke6**0n*Y_xxUPc$bG+MCD}! z@&OvR!`|B>S6PzH zxprWp!`??dQ50O;NBz4c0B{5NV$^gQGwts&+Nue!B-v*7hcA_~txMzdWo(i#ko~2q zrc>7y3tp2MY1Q&lNdt4jPT>?`f8}_?{Gid)a7FQy{+4kh{d<+%LV7vEn2GGreTI8= zPyKxPcylcV2YCV}M8b<3HwKVCq zdqG2s%n^^YXlQC!=1;-bgBxuZ|^c@*FBuTf)ll;^RN87usoc7k7&96=A!Mw-GZK z6GM^@FQbW`B1CSC)zkGxOO?zUdz<z7SjeE2xXE|%4?r6W#Gx7yA>4#&L{F8@XC$DdjzcKr+T zbC0Wm{^xeEvrx#5^f6`XgPKfRzLsR1a9;`04soSxh0^RrY-P^R2-Q^&&$#&j+{`bK}7ZMppOH9!yMi#OVd4@%*?L4F7~)#Q_=gfenDv zsHL}dXDV$oABZ&XXNJp*?ZK(EH*{gbWRTi``Af$Et2L<&J19A6H)jQ7h&{O%ES{87j8uXtBCZ1xp5E^*4Jv zF&>D|E8gBgen(@^UHKfk$md*`vLs_pqb=Nq?`AfJDxisArkXl+u`~s}W3+4MRRU!4 znM#h^53(n^JKy=%M5JbPJqcn3^S2t4D9gwC}7@1No0ANqAY@4*pPf@0?&p9`@>= zgL+CltMInK!%_6ClV~2CU$vk$OtYqPP2$Om9VZF6o9wm4e^QBB>_RWO9)C=d5MBvwVDE{w%N-_{cG}#K_dKQrNxX11cQOv zIoXj`V_m?vfU>r>>mW4^Qm28km3eK`A~vdku9gs`JN3D?>k5EKchX7KwGHA93qlG3 zh$mDePwk0gzam5UrnPZR420pSP`z7pgFKzsmR@h<7>cTDx7##rdi=^MEBAx*V` zEOh&eI)ZkuSz+V@h?QWDM4kCvN;lRId%wYU?MWh0l3kdS!f7n{c@C{e;;= zX;jkavD%9FK){jwq0^iDGED({ku8t1==E%xK{}Pz+X!DcnL^Km@R`$)Dk*L>(Rb=w zJWsB{-I32!0~)7o#wXA1tuu@Uqu*;6P`iEvLvwS7OCUvIj0GYF+0vn2+$pPqV8f6? z@>0IUN!wAj-1mbHfwJkLeTk$f-7nH}S@4dQci<3YkxPA&xfEs|E+%E*R$qL(hQRRQvAdsi-~UwH|D!7ARs&D z8^D67j(l1s3FTH5+nG9+(Jgu|ch_Z zMA1pXEVQ|CAAqVD^Arz;WFOm9a7{VX;=}Ro7AKnuhS3|;!-oASB6e7`mp!F%C>Yuq zHHf+1oH>n=pN_It4$#ed%Gw)M3wwiHz=cQmV)HCgQ7YHkja6=!aI{a`|AuR82?IYC zT^IKj(Cf*r|Gp8ktv_pr4DCa|L&M{K|CMVbb8k4f9^W5j5v+74*$Gb6pO-(?M)4 zl>rH8lH~?R+Hv2NT;Khur4N9vAMCp4G~|*D%p5zw-7?oh+N2tmoI8K5ItKMS@bPnJ zS0QPsMnb(f`h{z-pzAh<8P%17 zw8o0GUYGs>IIY<(F+@a{lW(`atIUI)Zw%LMn=02q8x2d}I-h-39G`9<{h`;=VsVe> z^x(U>qm=}`Y{~Fwb&FE#=En0g3iGg9vyZRs41>j;bXL44U)Oc}i|k8M*{dXf|8g7c zZ?HFiiI|nGA%{%uGl^o9^(VKfvoj~7oUO240e&#wHFP_bmKDLRxk#^eHnn8o^D0#_ z&BI7mV~yI;2Zos%8sXtpmu*8Vi}cw>k0Og>F1L6&tt3|_QPkujysOHY`K*wzdj!4> zVr{3Hazz>6d#-%7K$h>gic`cVt4_!WS?pb5(dj=NayHHHriEu^%GHtOdmN*o8uuXO zn8Q{TZ031r6d*G!vC>%I#bGOmrOr=$57r)rhk$b{(U@4~QgF;kW>6w8p%bbffE0cU zhmLRl#hoXn;o@PV_oiXrs%YtVq*DkgLp9G$0z?5nse6bom+dX#+tbED6 zKuhKxh!uHRR*$S~p)*NevUxVl#vT>9`OXS-;OVhSc6o-U52 zH?|#$?kDV^VGEA-(FN0a%V&>0!Da+Ywtd_pw%SNr_<|1r?(?#-+Fs(@*WE?@qT1P< zNQaE5b<wN@6P55_>PQ26D;uM26Ze~@FQATItdc8pP`P~f> zw;Px?YKQl%o&03K9q7%@Ne{VR9qc*qe_6Bn83n?hvlLjsaYPuav&Mdg)Yg31-0%4s z{8d_~)_T<7s(*zy+W)T5I-;E?3nbe+L;!5TvK#D(;&NfxzgiGN2!UlhVi)TVay>9%}5m6>J8(a z0`R`fs`wCi(AU>Ls89}Lq#+4&FTK#b^8JUtLqpvFH!$Aj(=h_n0C``Z$v;p0g|8m~ zqsH7uCiGC^$<_f_+YYE~<;k#9>;aqoqd269KUrh$mMGcqdc;fn3l74{drb5s$egF(aV|3GMz2_p)qw zDEP5yuD{6$=gWHyc2uU(`N9!Q!Ie1O2#`Qc#s1cOk{(c&C;Gv@OjD@*qa4Ic85kD) zYj8JHsBp!|-tX)1mH;PG-oyuhdmu;F0GG{*_k-{;$c;Mx%_cvdga-U;kcU z?L2YJ8>Qu`ipoG*9buDqTV_=y;m*{!9%by3j8*$uDpp>Eu)x(043ABs;?({4xe3P- zVR_0OpjtB@Lo5K3zv5Y_cW79FoHitDXxf?Pace_s%#-Hxj( z_JuiOK|ebpNS&B&=u2^l)>&=k5{(8q?qcO)IvdSJ&Gvc+Is$BW4!4vi$G1M(gwTxN z1+whLmB;Gtr`i#0C{6R>#`$HgcMi)*2v8c_L9q2?soyg;g|o-RyI|5^Md{Sd(g^6Z z@Qb8oJ0Q}@xhrjHd4p|zh_Vdk3QWsNNfUkr=7C=1%BJkN7;Bj7au<*a(KUI6>x9hP zN<UUet!a#hE_=N@Cb3lsbu^6I>QMXHs`V zkox1Y%Z2Z3mYBYC*0CVN<{AF7*9VJEwT4*-g^BK2!+@~`$u(Ktjt(>OXW!TfZl#L} zfrj_yn0VuOCNWec==7O(F@o~O#0rC|z`l&6PLtvI24x+im?iry$zSId_S>W!rA^>{ z+|F>8@?jMYp+OzN5P|dWS~PHZ8k!&aTffe;x}2KvJ4|(#BdgXZN!8>Gv>v`aK}v zAfVt7pTDsFE9?E!?*V|Lpb~v%&l55+6Em_13X!lX8Hgx4KnVZK=lR6@>+@)i%0n}b zB#1+CR`)6SC!`}ck&4MHEbk%db+JCwzsV^Mkmdr3S?!T+G*f#7CbXCs*uUu>7!x3B zDGCDKJ6^RaeX2C{q)zZ^Bha7rDoBzOXX42Eqr5$pGyQ#kzgMaAFILnPE?7qx={(F< zzTYbQ+h!8XySyW{I3yXU*I~znwhCV-Arpzh`bD$^6j;dcb#4qgpX<)P(EHw!jAW;s z0{4fXZ%|Q&FXeQPD}K^ZP#4a#Uox;ZUk&n;I9T(swZy45%l<_5V{_RMA8yQSrF^G9 zqzciNKdqzSdVZ-gZ!P1yRC-0N+F@o>VE)Cb?&_3003V~idEHR3u5~6d#H(FVM1sAJ zt3C{m(_3chYGFJff*dUzn_M~ElfpRF6OS48yM5%+Q^7L5NtYNwnG3j*QC_E#9{Sq^ zeY4u~0$i~*9wi=ohPk~V?Fy9SERoy)3c>^rPhxana0ltu1_r_^8anU3$%VmCvr z0^kw9veLlH)QR#F(Akr&B?HhYi%s+#I{m*WE1@31CV6dnCW5h`l>)@Q_ysWYD?XDvDQ)#A^~kD`{0x$IZ7L+5vSWHw6D~c4`~$1VMRm1qScpUQUT07;L%?L* zucT;YaDU!O*WM)*b`K52uo^6`olJ#Att2!SUmD~9X^x6YKLAH;G7hAjc-ppZ4zsIQ zMpC4WQq05FNc!Mr==W~qS#B;3yJ8<7-Kr+uNvTmf+l{2~)tziS-@2?jbG zf#frPccK;Bl=3f)8remwKc)>j_q${Dcgw!61llVuih+|V4K!*8!tfH{vy}Fm#ApfN zUHy>N)vyL?Hl_(XTyKw~KD#%`#zAT}?G$T@@`KmzylIR~N=8 zqk}X9F~U2sljJ0b+oKeqoM9taaII9{DJqa|ls;$7W%d=1OyW%1ZJLRF<`I7**9d(8 zhI53_?O3cW|4r@mibUJ}E?VrnxZ0v%O{cb6 z3{UKh?H>Ipwx+FrZ|X%XB&4~?LXA(P`cFxX_sEPW+7vNTXs0;nPSGXH28yPMp;^z` z4*(giP)0n$KwH!!NlP0lg7!1|>lBG4Nk?($ekks!g11<6piMcKx)4zIq!4Tf7!Fbn zty{G5qT4%=G;2T_ms`kT4qA2{+tbo~{wC*Sx6ua?e2>#lO=g~JYc}{YTJIb4nWeMLw z^ECEwB9@%@i9m#GdW2XzdEX{#uf=gw!z1L@rm$y1x?wbR5UzyP{TR!E9mpDn|D&n8J7FQE zuJjM}(&@sP2kg$Q{z!@TN^Mu28ICIHz-u}u38bny>4t9KWF^ycVH-7TQdJPb?>kb0 zObv{o?=%s+HTd*x;U{B62x#hCIx~uWkTM>`HU-)%SfO4kdclDUE6phZr6^!Ka)!lG zlBtv-q>7$2_3Y~3y!_1$k&(awe3aBd!0Evs^TbH<>D5k4YOguZQ^PoKZ&6G4Hw8~Z zajCcDiE8%Wj3(=iAW|XE4U*Xx9M!%#5(9{9ZE#enHLQqgm0Sfut3e#F=_07vRxpGh zQVB;<=-Ktj77{HPNepB#1qaJ9$xB2T$a4<`C|u_$Q4fWG#T8k66VxA7(k7H@1U6Xb zc2Fk9tW+hrQtB-W0wMQBQz@+oOEpmA9Kj4gm9t@+pXMP+%YE5}L)vA=ge|EH+5Q>O@Q(7K<6Hn~O@HiyAF`R(%5QSho|S%IW(xeyQ01VogAG zu~QW&TjeD_1L*YkdwW&!L!u)U-f4ppX;EGPLyYjLHqx0j!Gq^0b=S^73^K7Ch4L@V z8{!dI68yb#@sC*GcMTs7#iByP`-IgJca5{_?KyHylGy3wX^`=c7Tl z!iXKv_iLY$eRkR#zB$b0dj9cLYG?tLz@57Dn{k$ysIY&4Q&UcnREz;MRKE8O%oZK6dyr4k{ejiH_|6Ku+nt;cM&Cl3f@V!j1OuVo~R z1JjYD3J;b-N#F~U18etYAq8&Ff|X9iO*a9Z%0-=x{Sb(+;(F^Mk~ehDx^dNi_e&!W z<}Zo?p!{p2P?;HxT2OwV)5Qc*e`b&&8;TGP@YRkOYnzc`o&Cv6E|QxrwekTXlcIsb zXgZKcsR)zlN)Lj9^JC0suWAF_{Mf5PECKN};QBciKg;Joqgtu_CBUd%@bn&xKzYhC zj0vX*SULUJgn+{fc*7Po9)un+9z;2tYvWMRfWhT0LQrgzvJC!^fZ^Oen+k_t)!QHe zbc2xYps}PrF%bG54%2abu38&3&ec0+P$s#*u2>$)ga+K552D+@Xc$ob`mt1-SVx`p z<6qVq+h;}`0370Pm>LY?->GvT$S8zNphS#9N`i_34nSrDdoWaDVP*Y5|GKNZo|)g* z|0Ko12!OsYyeYg*id(UEDJ&6PzfU9pC*F{lHkAbwUWdIJ-p2PIb-NSuV4Kj1+z6cA z^NlWekFK{;+zyHd2ak-5d`@FN00Z!L-Aqw_Lb#V{Z-X3=WEUFR{AlA+j2CQwlthm}KLAK5`-^1UgbW@R9Hss&_@zJZRNr zMX}sqB4|ZnYkWs(IA z4Kt)nKC4tVjSu`tPbhVesb_xY*wnf1L3E^tiPJ&d5Zz|_aHTTOHe>nW{8i;pWc~3n zt<_LOoYe6D{;ew!(eT`pm;X7F|4iurC}b3TGbmQv3x(P^e1j-f9rLnZ zG%n<#-+9fgI(;RZa*r%S3nCO9ENj9yi`fvNX7w=|ApFm#PwthPL$Pt#A1*hk)U~MA_{1}}q zabpIJjv+BJ1;oo1W1(g|nM%&Oed~`ukhgy-#wB`Szy_B|H{}MGb-WimDLu857qXFf zJ!FWBll~D`aQe+#FK4S6-|N*!PqN+4JL41XDMI?~5{CE{FB^$0>E*m2o`4KdR?j8J zf|P5{BeQoo`usbWcWfhj@silJ%lYp+Jm1=Z@KTN=y#zEr;z5RXfv)gAG;zBGbKTXf z{LQaIo!@Kwmxh0mPv5wo!xeX&tqEVXUo6&yd21(&b;M^dnjkU0<;S9I*9E+yCC^>p z+(glKdKbV&SoctBX)px;I(*mWwyCXDG?mk$D>G(4u!$EdN*jCNnwlkmU!&uVUOph(dk~=S%?u&6l_D{r@2TVBi^LOZ z8ZmEvm&@z6xA7D{+r*0=3sWEwQ2HrsGQD~iI=%H6wZ)8!eF$}nOFK2@@b($KXkba| zIb^m zklwz?tK9d+7qJNUSq#F#s&aZT$;3~RyWLrrR>~DM)`;q5HcrkS$RSpW_s%-++c}Z zM`G`AHinC00NV~R{N4B_uXdE4k>K4upG1r4s)vq@KLGl6uTa6Z9$;kfWw9eO9+KDh z*X?lA9J~cPZ#ij2TJE|KM`>n>)MW)}h1~2viI`}h^AasLCgG}A`A`$3V+J-;eD@3A zp)WrG0V*!J_X^je@hdz(>@V==THT<;Ws2IPp@Gmi^}kVHWM8QCmc-W@wzHH>}(`j>^g(zREm^{iv0CoM|;4VI>g}gX%<+tmMNEriLR% zDKX_bk92OcI3a_@gjD85NZr)s|HGPRCez(s?dGPx)(YXEPL0vV<4h4kAGE9(z*AQz znPf_NM`+W=Te|yQq z+K8`euFc@)qgzswaCb3>jOxmN*AP~0;BS<|IV0)ut*IRQc@i z*n$t$ZklnvcFMdpDr4OpCQJ(dndewtDTDC~lg^OSGx4GwACl0HbLFG>1=Z{sZ>{D9 z21!t&Q+V3U-FyfW)JW`66IExOl6ZgQ%(4?|X9_c`c~RrppJ15!pHQb48gKXvVmr=_ zpb8M4@la)YXbi2Kt44TadUe&XXLmBQ{^?j1vjO!LN4b{{yV7tp#1suj^^HA}dA7dI zbi#WWpkr0;Su6;AsmClyN_DT!{1_$$wCrk8KH7ASf`88yo%~SCF zDYn%1!PEDdS&7zeES!F9L@c7|c%h1ytc#@Y2%6UGM_T$51=SCy8q%=)=e-i;-nixi zV4+Y~BE}!hA1(imv0S|+HNq089Mp3=qgud8fo`_$$=rY-qP1ety7dKEhpBJlVp7-x zzn!TP;UG^L9;{s<12N!7OSId z#jYgzyIaWYWgy;Aa!Y0JEYdFn(a^vPuTDQuR4sz>6=!2~c6V~i@G8|8o_rUcYZlLV zKt4sVO!jO;!u2vjfFt8u0M|V3*Z}MM&#_vF-E%EJ?T;EN!zn2>zj&98w)WQ%a)yc#cZGFf_7Ec5wvS~pmKZn0PBTvMkO|_y*V3q5@Vmw!vU8VOJ=L_yA z)vc2PnlRdq5^3e=RIH|3uvGu6#1$`TjZ3qU+toEr|0tI88rRTDutP#J z>2ms%crO8ERR%MeihMO(*;=d89eE3>htg*c3#gOE3gH|8HSLibmo@K-GEe_F$wp6D z%MOa0<#cdPJ7O}TkB_;(cxSr=Acc`jbN!T+4TtG-yO6?T-+R`I&5DNlEYn zCY~F`Nxf;y`#^2y2voR_+RlC9`2jKUdxsgNrdhA3VVgGS0YFt5GLzDylvJL`vp}n> zK(o*NIYW;Cp<(33DGD14^lciP+ zkYmCx%ZP4LYZMuEs|r1JQ3|!Yw1KZ9UM5S1AU0Xeywhp#SH-NV&acE!Ly9mJGBGLg zeLvZ~HHXA5P4TT~U+mmS#kJt)BTK=C!tIa9_es|W z0#$J@f*oxU`JQZ!wQuN-7^Xf*^lO%$h5+ij#zk+1!3`Jlg#KpK8D~IVz_-kEd&CtP zaye)$i|^$v5*Jiu8uCA-6pb)k)uTmj*%&hmhkOe7Ruy8wDm4CtVfCL9?%UL{QnlFs z0|UYv(;7eUW5;$gW!nb;^dBH~V!xI(pyuOde>H0{`C&SsO###@Z<@}H!LW>PPmcaW zB8#=iEt6S`s!_qu0uQ+xqg&~=N0z?lEPuYHX0{&Dzwf7lmsw`^MZ?!MiPnK0)IG3{ zVL!L4P`;&R^U5*(>bj!9-JVL5&TmJ%$g#IeTWS3!Wn&T8|HBJiwMVWirXmYnVAr@B zo@!F9X-ifwOkt_ib%b0^-PH%5_rf4r4#cjXtzJENm?oYRHAKYA4{)q1NNHI~5tLjy z>WMkas^pbTqr)MU}H}s)x(V$BxX~?`$mgxnm-yO zP(c3&t3BKCsEk^Eg-_y|qFK%(^{>G8V;(A{>`u507H83+Dw7mN7u|@NUTjV^It{ZE z8@&}(Cl*V}6!6Y;{yZ-Am+jOMkVx_^##~dDQVSRTtRpq0>^>$NJ;wY9uj`u&xoo@q zhJ^az9DKQsESiKmeT8KxbDQChbowJ~#4vHrZD`dfet|?_7dd*GD;?RM&Mw{Nyb* zj*FpHvkj2P<{y4sd~<(Mg{x^=uvKCxVPdr@5S+*T9UVV~aA^#rZ*Z1j3>zgT!&51n zcOed$C2%(}eacJZMfWX17o(C|QhQ>h4d*{wYNoJQDhJ6>BE%})haD9?OUp2%^)#2A zU9@ATH=EStDuu<;HOH)5|(cry4)(_=+tPKqhgIFQGfn}>=gISuy03TsORNBFp?4TXWq1UuI1f$ zIFrn1*Tn`n{X`s4*C7_wKStIl`RPFeu0a@}CTKqO7< zwre63)E0JSb@ZC;qB1iq%nkyZw59WJpNij_Qs}pUW;+uKl2su@2##Uj6@!iaZmT#e z*{p|+#0Zlo%G)kjJK*&vP8ED$aWI^;B?sBEo9IiRExO6{Ha?g-|MqUG+c+9)NnZ#)# zV_CV|;by0VgP`iWDU%9FoU2yRv=wCS%f-xdda41BX`DI46OHQ>@X75BOZ=%vw3Zw) z7M)Qy%J6QJ&EwxJaz3%{sp0i+bIqhv)-Y#)O~+K4u`pKub) zG#M-r#f%O#`{I`F?BX4q&fF=h#O3BogGVmC@Fjtyx@bh^9L@C;nQ4AW?iz5V*gwMC zS48l2Lw+JB=V#-Mc?ZZT1w;9KMlay3{H{n`uN|g}$QQm*D`_q!Xk`Z@ zY&YK+*B!6-{W6>?kds7lb5p%tFfCv`aFU*WdF_wcy5V`hC&=3*f8YgvG8Wbg8=QY@ zY)(^JF^9|3NbZA|PUU9uTH=69X~%4lVW<@@7VwKXN})|wlba^qDmxNFViW+e#>W%j zX_njiSU^QDPO;I$RBe}Os0_lyT+p(i!Cd_iwl_i<6C|ud6q*l$XgK?8Y z>Ox~XfMLLaVk$tw2>b_^KU}f+tU%>`!ykzO>cK-jmx#EjL_Vz<8a7Dds2+6vo(ms~ z&w6IT^f;Eks1B-WOgqR$MrW=|vp33Fz`m%z9&7w;x2F5LlzH$hQix3_?F_m?Xq-bP zH!_Q|*13vmHt}6tCr%F=%QYKfdvYuCRb3~ zO8d-&S85p~b3VQXQ8#Jin>t)xXP+^A%umF=R$ViFqZaU?gWu%IEBT%&Ir~q4utO(; zqjsic1x)WI0|`(iYFfV;ZOHFl&>`Y1S^bE?B(A>TrS7dq4_e~IFRt`6q_!hfs+ zVjHgODB5|P`b|1|C1MqGVIqrgW|vrda#=5(y|!BNc=w#H>57bBXWfXyEWU1ld@U$nTqzhf;TU2US|B)33-Oag_>4;I8Wo*okW+ZPJP5FKqm&lEEuVsUe zpAH5;2lQSwc0W$Ntlv;!pzjQ)*eH@)ag>JR>-E%VeV|>(-((z80@chvsww zYgi^9vk3>+&7|TiTUZ@Y*poa=ET|`q68$fQC{^MLhr!nu>5#gsfKE!_M6L$Mcydd! zHo>HE>JYWn&(T43d{zazuJ||CQH4ismvU(|9E41=WHzsTMd~XA6=yFlbN`#4EsB$h`4G29;==if#YH*fT7o>Wn za+#Upr&>Me4PygYKGozu;{Zje2!klOU%3WR)tl1&FRLPjNdy_=L3>;2T~XWLu9zgZ z#LRsTVJTd_SrumkMkNT8Xpl@-G|{e`h`h3krSvOb@^9RQG#rzi zzL3WU4EqGSH*_Gni{!xBVs?%C@sLO~qaT8r*j^6+X{KqQna_&~5l&Z6^b#A>wpyW| zg^bd1y-k=Zr&^$Ej7F^*QorKaWQ*y>b}~&WL>+&0+XR%B0&Fl=;*@=BR$Gzpw#ZFT z)BFc!S@mre{a1H=|1zamy4rr6I>`R!MBN}^B`jAy9-z-I84d>;=QQm_AkdHb+nzuJ8aF4H6f zE@~+Es;u18LrE!O`I5QhAZTN_dq9oq%Oq?Oh#V7!f39#!>9VoZL)08&Dn%bTv#j8< zBoH;0`>=9MrOA(K(sJB9;KC<0l(}{xR`RAG7$Yd5i{LM(F_350G!WqCY1q~EXaH>! z^+y`Oc1HY;*o8o=`1?IbS*%lqlkyUQsC)3*%SLEi3A&mtZ0j@UKfEuO+zaQ+pm8L7 zSeqTDI{e<-T^=ijREuAxx|MPIwbKd`nZ(*)Z|O`dE?Q)N*buYBVPk**P?_ez;_ zSZmrYKuxWNI{lk2kIKlM%Ev&qz~qS%n-JsQ@7t{F^A;V%&77>8>LXhMNyH>P(ZpC8Mlg}?hvEFZN zXTTUD*d>D#PJL4I>axql%m?(WAM0k>=tGdNkBAdMVUsu!+1Y`3LQ=#8%O*m9O>$=- z;Sla`?Lb{|&&3pPe_ajVtW#iGLh9~&XT>q5?Z~;M+!hiRzK_D5e;5r5!tsdS9uI^- z+!#Z#-I`T(Y*|JtDU0qlR${MoE4?H{y=%6^(S3q=ZtXG5!y?N#A;XdZw6$lXf-$18 z{z4#LkPfmnig(BYZ}y>g*Sr@-*|QTgggcJwAI`JpUP8o5W$9YTwd%#+s`n*!&`2jF z?8p&B#-DV`U2>~EZm67W2F5s=zq-K;MK1C5~ zvM5hODrEmG87P(B@}R7_Wi2jy4=1D^Wx+Saz##gky!$Di5FrhApJj8bCA6yg5z5rrs|AFlf zmc+xy{h47ldI+Rg^SvuZuk)aivHNn%A?!?W^Ag1#`prQ;<(-UBUA8nUG}JAVNHA3R z8fHRb;33D6-pR829r!OwM}_dXXS`OR8m_3LpVu!{5lA%ZiF}A zqTeQ86Q90^sC-hM?oX+3wS1U4xSpLrKK}3yI6_X{8NG;B(MdzLm1l}msz~`JMgWc5 zPt!?-O%a(*JIK0{3p8tnhOrmGtBq0X_Y-G%ntv&qCXqv}^y6pWC6rA<^8gI<;STMP z6{5U<0!oUsxb@i;s1fLgoMTC%(N|z>UK1tVaU`E{#Dofb?}_Tr{st9 zcScs!cMR{;>mjG&c$@}=+eJM{+9$ABgyj>bCDQ6IB9I7?RUKxOCRlD8in@H(3TXqX zLOr%{oL#P$^WC-O)j#E}$dpmdlKaA-@<67J;RGrc+Od&@5UK9Cfm?9o>XZgW~!B_8eq5)1HdPzRvt03tULu-FnB z)rr-!;k@z*N%g~XWIx&LEq@dEMBA8>)2iv6k{{XDXU0zY z5&SuS*VR(tRJk;O(;2pTYh}{`IhsVC zIE4zWoMFgCR^hR4rv&{FZ!b2^D`J37z5+gV3-hC<*C3#1kDv!$!oOdIhJIc09iO_r z;2+q~ubl?7rAWFveh*t=&qt}{GEopBx&f=)Oox&y4i2!*X8XKreQ;`lF^Ahn9YaZ0 zdf?7G3Lu)(Nykbt(SAaVpY*-hwaZzV{J3g0-8f+UZt%pg z0bYu<(E3J1q#SzrZl!Fu!w5`W1Z@Qufm?3c3n2r#p7tRr?{0c%t z<{X`2V#KuD?}>+cTSh3^=B?QbCvvUqUMXr- z$$Rz`5j_GrWkbb{5jXZR?rUE@UG5nEy5!Rp}mMdJYX};h{ROA{vA2h#xIW( zp?Y0pn#BO3t;z)kqWuSnP0fR^d*u4~(i; z1}FFXg5{mQnM_Cd5{d@Ac>u;9OZkVRrWs)^SbH&=JLZCCdh=QiIf5-CC7$E8Hl;29 z3>13Od66SHLA@2oYJja_4}0ZB4JSfrjazW_!4mx?DVXEX39B~5Eu*nVM~ridOe-5O zN;Q?Jh^Sm}mZ=FcPFTv6f#mLWDukuvlj3XOpwwEjuP{Mqj#vbvZXox0)yZ8_A5h0<+O@qS+uT92TRbX1d8;sA-2#`_i%lAf~Qw22$t^WO5(#XuooTCF! z%*r}Ngi#|odXaQ#jMIWeZaoW0FWCabkq19j@{Rz#{dQ7 zxZ$}(IcPabts{=>@#9?Z7apHD-sm@~-{C3>_#!2YwJk7_d29RVM;Z!v)U>6VJLGE~ zh@^_Xg1y9xe+y1gAPL;NmKeUTEGcOWU7*CVs-QxRels&#BjIm=<3FzY?rQSW3UWvE8nbD*29T95gR!5>yrjIdS>*{5vJ z3GXm#6}}orn3}fOE*C>nr&GY#5oSLY53jB_AV1QBEMjY8V$ow)%h8y_NJGaAv07^K zny$j;bdy4{ephmd$Ron7Z79F1VPX#gw>`yB^JA@E)te)21SqGQB~K^o{$My>_nm)D z{j8Inq8l0!D7 zg$Q{}n7YG$B(4=%y>W@1On8|#);@!_8b6psfK=AZR((5E?*oLF7#v1^jB4KV&0Bhvdyd6Vny{bR8oqH$uj|_>6;;_lmCh*6fHSwN1xLsun#tt@sX*eGDf^Gt z6*x7(M|sTNZ`VjfU-guzJ(0=^EY%t zWVDe%y&0?9_4xqwR0w~2cd*Lfk+wdB5LBYe5{Jlw^mvU09zitmdC6%%MagNB@PJ{Y z*KVfnJWkumtB-MGL&ey%#jX2vOTz$IvcZr>DSJ|3CHDL>mal9KSH7lkpa6m6qTP&n zHNU^JMiqlVr1)x~POTWi3nu%e4ZIR&fa8Mv$ue;+k4#y36LDIp`8z8vy;G`} ze?e}}<{CHw6pEE)%$11e?EcnivXtlvymy6Fs4ingYMn6|3yfc9oA=3XeIJ%&m99h#0O*h6)qZX79)O9Kz5PG)HbIjlLpJ?~$* zhA1k}g`J4}`(KSGFjSf)Gos+m4a)%oEI{JwMvyj`6uZK!`XVoUug6?o1^E4UYcMo? z3`8dibGh1{CZ}x{($3vFEF22X)z?%f@5SMCF5{W;0{!)9=hbyMYv+EvYeG0kjd;d{ z^)v`9mBtgO)#C%i?)Fl6VTUOjPiNf=`A4%R5MJ1GHUD76te5wy`zCQlLp|1732Q6f zbq!N4rNqj8sRJ(P9NjSQ)GPV%Ps|> zjoto*py3PLv-?bYh+e_AEmbSJavNF{Rx_0YY&>~(mEw3?Olc_!%f&dNVl(XcoBtisr{w!v+F!Ev#W!3Djq^AG;NG=? zebC8obs>M^?ooje#0iN=LECzinxr5sv*!S!ra_zsRq>)Eic&}^1gR-Rs7UY=f7o}Qjw966mXfRpGq zN45P>V_OK~Ln_YV5y1kinCf(3>&=2sF^53OuS|(*M?5C_aMZe8plKNK{0s*&uT_(mL5O$ep#^fN?dTb;R@Pg>#ZJ*vS^MSK=+d!= zNk~L)Y9PXQG%8VJ=dl+UCocI6B&rjsOd!b{h`0b8L-Gh~xH0}#QsFqh!%31)#L z!<>y&0@XpeH-m0g{mB~I)^so7AO|dqG28MX$;>UaZTs>NkXw};e@YyPafl8|4w%l8 zKMSXWdSZ3Rs^&=x0TJY*10^TsMm_~`l7YO0e{x9baPtL597X;G&Yz-cLSYsW2xDQD z>mz$KO+^@$5RGQN6PptXvW3@vu41o+a6Es(!+nO%u;H$5`-vKY=3q80b#sGEP7UqD$oZ9z0tuadqWe zA8CyzgX7GQrYjboZeJ^1`wNm@mW6Azqw}nsMoOZZII0FLSy&hiyL55*h=O>UoVR^T zZ7&U_sgI>*cPlqD_Ui7<@uZihpSV~Xq&$`4Y=m&D zuY&>R_TN~Gt1y8(@rLWE(D8UaRLEQHSjSZlAs1R5B#prBPi>=mBgiTk&{WR{1ZmXS zg)F)&94*A|4GHM$ay^Qv3!d470+g?n(Vl=qB{!~x?=vnz08?loMFr!)m+QJ$fd)ec zj)>wjBVXr}DiqJqk#fF*DS01bU9II;JTtv)$dZCtLlZ9=M}R|*!=Wy?2Z4)=WFpk; znLpXVfdwI>1#yTL5we2`ie}hVQB#M@hYsSUbqa|FX`(P9L@A?uqg@OxrJbChl*V0c z>x&KZGygi1zI*OZkF#7I6j!h!&N%dC!l&HrC8X8ZP|c#qQdORd z*ap`SG+8~-YG<#NTQjQoNx8vHb{4%TNdj zm5g)55symnmE~lqmmn2_Ys#L__`Qo4W4foW2+*FPD-YAUGux;0^ezrFo6=u40|#dJ zF%9e9zuD`mH5p&aGqH!^*<#TSiPp0F7g(5_d{KSH!w?fG`k9@#hFH~#e5}rLt4*jc zr&G68#0o!*rr_qS+s|*Sn!+I; zZEdccey7=URiJmn4uo*v+lRSJwl$uB7Ga@TCkZ^iJyzhh@zy;XH_Zht>3BY_uFuhl z8KCGT*bq#){930q_2~K>Qr_4pdHczR5Ne!(qFLSn5e!Co?@)Zt%uvuEv~Y%+M&C-D zVVMj(SO{TuElSsJzeK)A=VQS%1a{J4cM#g*g}<`4dVoMLEkzr&M0A{5yDLH_4UVU( zJ}bc3ls6wy1^{zX*fmHTQfu~uk@b-yM6YZ1uL`zCJzyX`UHfoOgINx#0i`~j><6dn z_CjZp$Sj{e{J?!cdI*jKl~V#Jij7e_NHl+l1KvW%NzyD437*Ja<-82TmKQG&7+57x zWsl>OCdTWH4R6AfX->y*MNfju8*of%PcXE}mI6t030ZbbR>N+M>0Xzg@-~@tpCc=a z{KR>V*n(4A6M-rP{QNOn*Rbg6tXeKuGVLXzL@&Pn-G(tpP~?vtB>lC^P-zk(zbSTy zn7IBOLbstCq+$H`rCSdC!>dl(IwB2zG{Hx(plKJ~lYu6tzuzICYl=9i;^(dht;H#k z;kvNtSS{xB1{?^nVD|heWE7$}Q>1&WGC?+3>=p~vlAE-XHKdg9)v9aYD=-nmA0ZB> z%Iy*Ov9^r_3NNNKfMaY%yydc{69R!RuMQSWNgEu6f}j4L@Vk}*cZQ-4JBmq#wF^e5 zs6E;#gEMc21i~e)-!x^`C992@e)%czz+8EaQL`%&K)Yg=z=P@}7mZ(uKjc-QmRYAP zp0{Ms7aPKbpUzMlBD#jf%q%U3&}&F}(zJKfdn;@gEYq>PFjxge4?7d1%b2NOE{tCW zW)iGbJGeE)U_t@IvMY6H$Blgz#aSrI!gIlm)ks!LW)Io_3XlQo`9rU+=?~uH#4Mkrfw7`+Iq~G4EC5BvWy-l zo1QOJ1&p3@%GLjbfMI6|K#qVJ$2*~!WFE&gjS z;%S)0aK-$w>xrLor{Ko;wYB2{vA#3_D+XG74#zmh@ zOo7WVB(rW>+n2`3c~YI1%YOZ+=&88W4&oNjmYSx)<3fCKWZR>@^$D^Nh3*;&* zX)R2};akn<)geY6*{yxYdhAA~YIqH)@~c;G;<2(PO46yIq$+IM|BMwl~>akmn`VBz4!>D zK5GLi3V^ls;)@6ltp2(8q|?e));}m+)#++(>$(HPd&>+H(w?i>mio#$8O!EQ&mBI|ra3nnK2@&Ti}I}_vV%R=6q9{mmTvJ<@pChCV(=eHrO{Pf z+Oip=#5~GT+})w(A|(+nfQdP^gcJEqcBO`%qMm&+PvrJ1HUJXoQ5p@z3^yrKvzRml z%*Pus<*0mteF9@ErS$Pnncv_#y5y|RST&E7$~MTd8Ah z^}644zAs$%sojnE;%=P`pZm#HD?>oYc4XSU$<>=2JDq5et5;<*TUEWW^Jh*5yD6T? zNNEIvZ)xB+(BU}T)%a=qJL+lW7+)Tv8CAJJK8(`6S6G$)6 zxTR^W6`g_Y6eS8)Y{F5Wf_u(9??FJ`y!$j!n+ccBL%5d_d70^0PXFvNO>3pCm4#VtsS4jd?BE`DcFVctaVDJTELp2wOn7M z45H7ZKE<#mktmPhRPf_#IoYt7Qo0pwV)7|Gv(*JD`OQsH7a*t6+J>eU`QlhSQa2K6 za{=tpA+(-7m^z+06xUdbhOYg#Tei=ktrqPB+j9=sa?nfZ+SuDBI&j@Hb+E;iOAfgc=$R2CmPSoidCCj@=2-jBkWD8@eCN?!yRm~xz&rI5 z^@=}W`Uu|CbLthuPP(1d?7*B}FR@q@lm(#A&$1398ctQY&T?LR(5^tp4B5YeZ!Y5O zu%>h{=hEN>b&1`XF!VUl)sVu(L)Yy_?4Q*b_VR58$&XB{uP|$aoEEC{I&}zh1vy)U zd!hE)(?4>nr3!89#ll4P(CZ*L>lPNYGTL~9wJosXr`GAsO2K`D%Atq0abl)y81?ux z?dsavZO$|m?P+!*p)E3G&%H!!w0foNHB+tzA0?6ovovbzuwyonNZM+PyNTOyXhpVE zxNFiUVgT~1dl;rIYW>N2Sp7CKA32>1foB6>N()gmu>bJ;prGMlztS~A{wG_&S6W9% zGW7onRdOL``%+s#k+O)Xnz}X*VTh=;EFRoZu!ks{rId&pr~dfwI7tX_c;PR$g*;wV zzQkuU@_rRE7g1rQY0-{hc^HKI2Tp2}#eSfLXc zWF|EylFoDlvzLtbmVr7Y(weAogn+X&VXOrB%FWE?y;@|5UR!^=|HO!<`^3*BEnsYHrH@7R`a*S z8}CEkN&bPEcKj9d3u>>v`4xcE{9wz3Jb~(+uCh~Z>Gn355&F%uNCfG6RtA!F2m)LS zR!ADvCd!KkA+<2fIZm}VuQ&|D^Rtn1SfCAq$6Snt3vxV5em4V|?-6_F}c zX!&((+rnl2CDT%pW2~;Yk~Sq?E3i61nd&Qj$>?y=0vkL&v1C943--wN3K1mrMWnC| z-P7@~Nub&JI=WxEq4x7ILLyPHthfJ)|EV_&WTURd^WF1!PJk1on}fDc=_}rGZ$K^&kPy|sE?C3C{uFo?%9dw42tf?9p&I}M%r6@|EPjR%MQw-?L59_ z=u>S}h&YWYjzw-)c;oI6Bt)^a=^SiEh(dOW3!@V+PfzFZ6x^ay@J7NgVdtOc6oaK| zxaQA@KoN|$8S`ZmR3}S7-_5WVq$VZ&IJu!d&nXf28jMoJoS1zvN~y4QuRFt|W4gQN z_O2ED)q#ht<@e1c9|44mxbYhP-U2gT<{oA->+mwgV?^aOG*NW0)Y{RJ69N~q^gVP4 z33|(KIPnXN8G6!zsddnC4~-xptW{9UAaxRU=#DmoOO9d|sLn(n{HtcpVK&hDvT>_$ z5nbPnt(bV0Kf~{RCph&EX-xtB#+PED+VQ7)@j?}q`&eJN9F}PI59HkS2dcrba-J2l zd?wG%7_Siy0Sri@y50QqLH;~YF*3}rJ);;QJC_aTwv}yakXV(ON0742e8Houl5|6@ z9@5`+b$-O}s69duq;=WK-;MhQMEl>2B8f)I<_gaDPsC}&+0c#dz%qF!}zc62Jj5Y(tVI6>T+(9mvx)_i5c} z^kO+d>kVoC{~G^2*zJ!*qx<58fbr3W#YHQvLrL8su-~iS2{ht14NHL-W9&L0zIQTo z)UlD9=tu8rDDwZyB3%S8xDX`>Z7wQEGL?XX7&;2JZca@xj$S9i%QZsR8T6<{dQE1q z?3xEYxawEhDARvZ6~|N}jei)|o=QCBh+})JD9yk4?aGD1GuKwIuUv3WU~V0q+oo-d zTcPxp0@G5NVhI!y#t`&Sln=o|_{}Noln)7WfBU2c!mLEHVJ9EO(=5b?*)dNGc#!pM zc`VR3gMlyE6dU`~pO2bP+z~BAhq|+}n<(SqS0oIB?txD zTw38P7+N;vWP-m5Jx4s>?5>yxHld17e?wp;k1_O%s#XJaaFKjCXRY9>`sPYF}fnEj~7UCj;vi)Y?dke z{W)useIO(^>PmBW`X89iM=RoFm5>c2kJC3g1?wNakhLjz7(Z!CuL0swZ`C1fzL}Ns zN3Qk~YaPxuD@$4)+aKx1=!6CbM^~ zXMu{97o<#`2GY7oFk(totoI@i4$q?$OK*ByV9m)U_*0?1h|nSUEOQ73{z-FLTerxB z_ZQ%0-Wxe3V%0;8wwpQ86+-tfg&2-#*6}+{4d&0tx@Y)wxvSc^k31ol;m#V&OOj?M z>376mEbXYAEYM!dG5 zTY*e*s>p++bew!2WaBX1oSoB`>nu_mM64}VFHv7MxW*;I2AClyoT^8cG_tFi5YTIr zv5;%t0$R{m83ffmP9+Gc# z-kZi68N2cF7V`bDog0F|sB&#%=9iBE3sDoLslPo@6U0zB z&Y_}gCyw%?qElxmyx=4mf6)L~?h#4N?^pSeRi<6fN?BrfqjW;Q%ZWZG$-@gHn7zeR z-2XtR_`TsVsrDT$J64*-uL8mBPhO%1=O851czw~`+nOQ{VO+vlQfcA+S4Ok8c(rmg zs7bWCe_#lnK84#Y6H(d1ICuZRDg(bB2Ymm*+(AG>!$3hn!Ty&F`zs|N1S=|;DCC#b zAeoe$O+?j%CAhd*Oxblvtz_{4gF@WcETrY`e-iJ$UIp*1VlDj^_SGfr>OWHwg+YmD z4)_rojQk1C4x=$!T=m%ltb>o=$I;j_!%`R4XPgC%nnzSs>s;6+=x6Sjb~3$fv+E<$ z(kH#=?`v<;H8pe$q>%WlBGyU`0BbYrNOU$D&x9*&qr-uwmEHZHqGS{+&H{ArQCZVT zr%2Hsx-l4CZcaF@A5G<_XlplYg_Op2CQp!Hsev~u} zo0(Bb4YVyKAD4`;zU3j-w3r@Gw>ltFhHqBjqjYA=Rw>V8anoj16*gQagfPCTfS6gUs!|YzEH&h|#J*P{x(u5)uWYR!vYL*GTJ#m;%JuKRdCt#FpW~Cp<#yq#v$htMOjeLFLp&5V zpjVW1KIX)cUx^UA1q|I?hel>AF)?eSE=zy`f%t)i?S_b5cdpCg4g)~f}v z|I-;gj^ZYENx03))64KVnlA_aNr~?wp{5A36B3UeM`niFLX#K3mcohoE}*9r5l$;; z`v-wV)}@>+ty$;yDD!OEoV0UJ`h**@;C{90)XLd|Q*gTDnVage45lodV~slKOLx+t zA*;$=kz?5)skb7%!|y^j?P;~)P@R}{nC^AMbyiqCqN0Jx6mrXFl|ucN+It!G@|9He zfJg3zwwfyUiPM6ANiD@-m8&*7U-ru28aw(Pvs>NIaiXN+I~JVMfV>8?+TAiq;Kg?m z#HRxY+5Fj+zE~%vg;pF7UQYCzDm!VMc=)MhIYdtNhVn}x|4(G~S5R_AKfoP0v_7?I zVRXT!EN=T1M88U3pbOw0zz*+L+1*R@{zabIyZ)gOeyFBFF55V0-Se~Rv6!k5t~YEzRQe zm3toSSY#S4%cY7(rfSQjHa;w_qu=z2T12qi0{q;}x!nwl)^zSy4_xVvb2f?HRn3|1 z4)Rp9^^P#Rw3dC5sg+C?&#ot08Yn<5`VLS{RL#^9x26~SBt;l8<6(!GboIJyd6@$d zd@YL4t$w@S*=px8ObT7T#_o`>L0ztZ%|4 zm4j_f#UEe?-u<NT8-!Q)YT- zyd8@VPtSS0OzN4F&d$ro%}z~DbQefMWm!U6zYvq};rVEBv`=Ogk$EH&;D?+!4JDPV zpQ!#G$x?cvt0uP%D|EcY=JL45&PFJ_4V$y_BFr-u5fM>lZ8z(Iv$7zD7C1fdZ}Wcu DF_(lN literal 0 HcmV?d00001 diff --git a/readme.org b/readme.org index f6ff0c5..2d5261f 100644 --- a/readme.org +++ b/readme.org @@ -259,6 +259,13 @@ TODO: Document how Category Theory becomes an apt setting to study processes. Mi * Books +#+BEGIN_HTML + +#+END_HTML + +** [[https://www.amazon.com/Joy-Abstraction-Exploration-Category-Theory/dp/1108477224][The Joy of Abstraction: An Exploration of Math, Category Theory, and Life]] +*Eugenia Cheng + #+BEGIN_HTML #+END_HTML