From fcddaee2f21df1874e61ea12594db8cbf08b8303 Mon Sep 17 00:00:00 2001 From: CDaut Date: Thu, 13 Oct 2022 18:00:03 +0200 Subject: [PATCH] TixFix --- chapters/Grundlagen.tex | 8 ++++---- main.pdf | Bin 364574 -> 364561 bytes 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/chapters/Grundlagen.tex b/chapters/Grundlagen.tex index 10a9688..a4c1874 100644 --- a/chapters/Grundlagen.tex +++ b/chapters/Grundlagen.tex @@ -124,7 +124,7 @@ zu können und diese so in Relation zu setzen definieren wir Funktoren. sodass $\mathcal{F}(f\circ g)=\mathcal{F}(f)\circ\mathcal{F}(g)$ \end{itemize} \begin{center} - \begin{tikzpicture} + \begin{tikzpicture}[baseline=-15mm] \node(A) at (0,0){$A$}; \node(C) at (0,-3){$C$}; \node(B) at (1,-1.5){$B$}; @@ -135,10 +135,10 @@ zu können und diese so in Relation zu setzen definieren wir Funktoren. (B) edge node[right]{$g$} (C) ; \end{tikzpicture} - \hspace{10mm} + \hspace{5mm} Wird vom Funktor abgebildet auf - \hspace{10mm} - \begin{tikzpicture} + \hspace{5mm} + \begin{tikzpicture}[baseline=-15mm] \node(A) at (0,0){$\mathcal{F}(A)$}; \node(C) at (0,-3){$\mathcal{F}(C)$}; \node(B) at (1,-1.5){$\mathcal{F}(B)$}; diff --git a/main.pdf b/main.pdf index 3aed12d7bf358d11703f04254b1486fd5c396793..ab0b40f423fae6c6b88432db9801046da6d9fc8a 100644 GIT binary patch delta 4010 zcmbQYKy2ayu?^=Wrz_?%X-)niDPAvoSR-aP=Y<%%7k<^Bj#cfLbnf|&_3wG)cYAkP zy_D0;Ik2s4=i!HE3M@V=TQ0l0XVKOE{uhn$Z2vEHh0eKlcEUX=2`p~7QQ&zH(|Ka-&Ka(Pt`Y5+^iqFzu<##KP;n-JhBozf)+AV5oesR)FkP&BdofxE|eGBecf3zLP0%QO~Z$enCy{7E4uT-1y>k z(PgEB*vdI!_xsd+r2j8|s2*WGN~(c?$;GI~i;cl+clNz`$l9W| zXWO;yu{-M3KL*!d&lj>TJEK1Fx9itsRk5La`(_EBYVEO_HLKug>#oS-Ew4^r-^lim zr`1JpO3D?6%(HzNGbh#l%rZ*rOl<4&^LOOj{Ov~0vXuB8^FE}9F6F$`+<20KcgF$6 zNe2=Sre-(rgb1&5zEg3_EZIY_>PynKHOKDsmA!q(v*>8v?wEYLJ@wh!y)(*K!dFY$ zt@yFPUH|xR#W?Y{A=6X&VuSxr|vX}MscYN&k zFk5lNFOWQ68=tPKzbPp0ru>Pic-BHoN4s;KNmdb?EEhYinuJqxl4HPaI`I%|TyE}``j~?}!kmp^MvXHjM98KwF()NPY*@3d zf2Tm|w;8NF2X&_0GBkDEbVdFEi{hF;0Va)2Z&>)4E!k@fQznK7^Hgq<+bgeaI&0mb z+lwUI((iA}RoGYmcz*ijx7X}Ve{j#c)i$qxcG>TRxnlo%h22tQ4zPX;eH%sk1?Kc=6l^)eO+|s>n7uQ23x$^{(U)qus-l>!4(OISx2_z<+Y@= z7|-_eODZtfST4@H+4#iE4^|uOgDiiGi#MxoH45D8|MX4f+LycsQYQ*pEPJt{>y)zI z>#!dS9T2xf_k0Xk&&{*I zoQdTz1Jk6lw>%~#CjFPJncm_Omz==5;+(P^ON;N}6%GFs-Wsh-n0Q@iN$vjV{2Go^ zqD%BUQbie>d-&0mdV;5Hp!L#za#c{{@YXg|F4ep zvE@5%e*V0}tDCiaA7$g)v!=G}&uhNzP(R^W;=cvvw;s&9%~Uu$x6xZLvE=zwz8@Pm z{C0X=SJIhv*>CS=H=gi&+Iuo@y=W2GJGsP}<$cn>$(N$mawh8p)r2Q0$IxpL9SAIAfbm8wziDo(L{^JTvd7UB}H7dGW^w5}!BvD%M-{bDdkvXLVk#O~Rs||F|3L z_o;4W@3QCo-nGp8#Ez?kHsh=t7DP-wmUM1nsy!jl4{kocX!8y+=9ys z8C1NF`rW_#d2-qJKj-c2ZXVwGSMKWpp=$0^<@R#0c#k?p+R%Gk+Elc>>Gt}x8ejfhQrv1?R zMKXicAwgl^uh*`d znHu%AB>q!v{Ih16oCAyj9;N-Bk1KX67G8Su(39I`-m_yGdinB4Ca?5&^IC4V;&%4$ zs)C!VIi5zTf99X(v^7l1zv;lVUG>|X)dRew8q2mfU9~9uc)gxuZtC@$HLmj-pQYV! zK4|u@&(+jN(T@4OkQ6`j5yk5qDHB(f_oYM`uiEqE$m!eN)^j3fa2_m7^%L<}W4RR+10oIepG#W-S_Jz+ZncOT+P z-lwnXX_r4&7T?oL^R>vF8TYnwwMfO0fcusT-9#n{d5IMvJH>b#E=v;=IQe0%0O zv)Aa^jE`(gZzcKPUYfl$qJ+cH_YOa|2j@je=G->cpv$a_7{w|SPS4$T^zP;uC4ag4 zIe|q-1RN85cN{Bz%%|=2FY%8>2v179V9*qS69O~uAGdB<+j->lzu9|~h2}nz-OlY* z|7~OAo|7ko>bGusJ9T@mkPdZWv_kX4i#qj!`>9KfXn6obYZ#L|6unn{e9b|zWn22G&pp$x>B(I9Z#e5Wb>+t>zFP& zyKUaxy3l6`~UcYiqqZN3%OiZ4+$LR=#6f4j0{_mpX$DDljgnXn?B{=^Soeb zc6s&E{KLGnt7j-?KAsHho=Mnq}|N_cy9!xjXD8A6F5{bYk9I&FXk4D)p3|Yj$S-^LV}^a~(BQ?`5(* zb=?;f;b+-^UreOKl$t* z>t}DcSY%c3^R$NVu8aeZxXh$4<-XV@S5#+xmBeCdX=ps1zl&8K%-U|$#p=x*Xkh5(=w$9{U}#|BVs7qeZscldVQFS& zYGh*OY-DC=X{TUAP)RJ8zE5gidP#|iBd%{7D02?i==>6cTN2wl38a9U7q8~36V%O%;D*q)!@3SvE3vw3f5imFO@)#cMF z{>Li2->y|$t@u-V+ZwfO#boAfJrku)xU|-;Hkkg}L#C+uN*~Xp-X(qYS0?+aIGRmn zyW}y;!`RX@>V(*)saqzQZR(w)@ODXaj`~~`&$0=6mwd~d-q~&!zr|YeZ|f~y9@jNN z2R2`N{)RE`|CU?KI@9Le;1*xG-RrQae&pNc)90ezw$J{PQp)h|V(e<3JKg$W><^!< zUdwl|_RWS<>Tt61!n86^lEe#F8w&`Qcyrtyw=%@me>W}wKazOR delta 4025 zcmbQZKy2Ouu?^=Wnam9*D`sm<{vjz|FML=dW;f@B7`qp1Y%8;EV?3W1|G8e?)_+&E zzxt9b(+vliw?*xTXFe===3dkncDgIf-fofdex85++F^xJ!iTk$RW{BE&%fUPFP!mW z|J21bE}bjZu3D#+^X-4Bt?9<5P-8!p={F_{{t)=bJOBQ=)l)K`7(8|oUi#o5M<27| z^yBsUa)00M6cJs#WSQyedodvsb%ORrhV1t}r;&R3{{26HUfi4=x1>kl#$GAD=c?~m z+Va;It(~HDX2$Q#r3a^NwOkddV7)HXZAPZ3%DzBt?T)7P-!H8aYw@lOS?y33v%1IN zvX)29;;DShZBRU)fp?|~vzPlxE@ZtQ2_xlZO5>55$=dgH6^04@B2}>w>5R$!4xw?XJ zA?NzFUvu;C{!jl{AACJu%)0DM`o!P2UzL7cwW>{@u zJtWE1sibjo1>>bzvKNh1e}B4~az^MdkLcWaO+smJH{SF)xv#+X;eOw#Y99P-Y0M@M znA$y<+F7TsWi$%#-N9G*IPKl@y5L;W2S_D6>@T;dY^j7`)}9JdVgVfQvm4>{4hnaN;t z&LPhI#}wxZyt}e^-a-H0xmzr`3U(gfSNUOnt6gWN9#iV1-&sG_Dd)e_JaCsy*A-;!7sDYF@^vpgO$t>0E}7PT&+ZDxyu_DlyKk2QS8jf@)& zbRxp8ACKuUsy@TimLTT!cE&7)$XEOcO#)$c8nYZ6%b405=P>V+*mUBwWt&Z;|2_Yy zv(A`5%)QEUcys=3bAkK&Kc4UYS@(Xv)E`#=T<7!0eRu!AV5a^57^kuk-vg%K%Ra83 zZN~fXLdlJ-^7XfWuHu}-=BV&QG=lp~qewTx&1;*_;3E)x*oD6ZMYj>sdSXKM&Sc+btonNmepvY1YkZcG1?z z;D*~vXPXLsx*)$``@9;hv$BsFo+-9}J+k+8*O}6TlKv7=s?PPl>XS=CY-LQ@Ca7&( zJ6l>&^5L0flP62a_`JF6diV`bk<}i)H~k^!{vAD<;JMZ(J zHILU?<+<@iM5jJ}Ix#ch*!%bOiO$ATZk~QxpuxqheP_8siTsSH4Iz@2PIrFX(Ua!? zy6XT#m9m2YpMt{8MZGGLYTxD`Ecf(yV#*fQ@XF?qqr(l89@N@Cc&YSNrom|&z8?&eRzN^Ew!h=qi_g}AjV_C9;XR(;U@8_$_ z-WxM~nsQ}FV!*Yv@@%u8J%6tI=(B6ifkM@*60gsyXl%cEWPRSPkH$Wi_kHaDz4rgL zyg$G9&$@c&aY4=JKRiq39eyrw|6}QjFwY;W&34rDvSi9V*>= zJ%6_d-lPj@a`g$mozsot(4D@!=wJKB>MxV$a-?jyBH-Gev(vJLwY2@^=@ORe za>0eSA1rfb^qAH)ci-;k>TlouoL^g0#QXeP^_7XLYZ9CME^hYwQWJG8*vNR%a*3;- zD{tP<{+F&ZdvVS_?bF%qn!oLIKJoG8cja6tYfY`oU96|GhvVht`iMImQxw+f2y8E1 zVYk;v*yZ!%Su3I=|1FxlT2ZC`nAm)^sM$xD1Uf4t^&(ogo%dGfEL*g*ZKK^kzIA+( zaa~OO4eJtS-4>BLqjJzO{m|RS_a&;Q7^W66GKNS*tT2_|Db$-XaaH`gPBqEUD$ZA} zZ&P$*KQ%esahkIEf!nP+vC3M1x7q|hVry;C68hSyd_CP^%IfAt-zH7_@{r*iOZ}4i zm5-Nxko^)^F`I>plkvp$9xag*N}=)(gnEru?cqCe`gZqi&8K-+cn;Oxa9RI&H{<7k zuz}gSb(O=H2_1jG>k>Ut4Dv3K_sE6%UkX??^= zbH_2`jZuQx`37=9tc%+32-;|F4m>7fe9vJ)_A%$(U(z(i6rDm2pSt(EfoY}XLzS7Mr>vt&Ws;;R&$F z#VQOlgqP{2nH=rdXnN+4)Lt*Hw&&FnT{`!wo-^!t;B;5~el%}YeJh7VeU9Jz$4(U~ zx((8k&3_66ur6vZS#(iCrQa%0{{qLAcW;Vhv!2(xn{<1Wn>Fl`E1vE2(cqsix9G<| z%hq4wdb;k-iL+*^yYzqlW?f$~`|hT@@Accv_pbCzTNqr_{kOdS#P7B56C&!$FVFsY zbjs^}P@`0VRv0U{D&7R7pY0zXuy|46k8 zwz{XEa(sW!jeQ{>)~kk1n6k#I%F|H8e90Pq|EJGFx6>hr_r=E;6lP5z)7 zva#McUi`scgP#2bCTvd&QbnY~Q^WKv;@2KZ{adrSKvd;}lA3+4p2LE-dA9vWKisGi zVjGuq#&71^_O(^F-N5eCocCU? zdiy%Kz8(0VyX)7&W843HcAmgr;<(go`lZnPbAHO%d|=lS#}19-E!Pd= zjTKGxloju`mh4#hH^y%85_;oc-~dub|u4i3N>9w{+rSwC@Qx zx48cFSZe(C?Vs1t9uFjs1U;IY7LfnMyM5~A8@178t!I2c*gG;VnW1xx-+Ql3#&7=3#&7?3#+qi7glF|mBeCVX=*y1v5Qq6%-XKf#p=x*XyWE< z;OuN+>1?CfOZ=4|L};ACQHVW(h2P)RJ8zE5gidP#`F%bk;c zEnAX3bz8jGZ)w%f9w*B*c1o(&$7^oU*egGkd;65?{HflYPhVN5_DnynJ$1J7ski%2 r&DE?HtXXr^fT=t_