diff --git a/chapters/Kegel_und_Ko.tex b/chapters/Kegel_und_Ko.tex index 710db90..a01ade0 100644 --- a/chapters/Kegel_und_Ko.tex +++ b/chapters/Kegel_und_Ko.tex @@ -148,5 +148,62 @@ aussehen können. \end{center} \end{example} \begin{example}{Kategorie mit zwei Objekten\\} - + Es sei I= + \begin{tikzpicture}[baseline=-1mm] + \node(A) at (0,0){$\cdot$}; + \node(B) at (0.5,0){$\cdot$}; + \node (center) at (0.25, 0){}; + + \draw (center) ellipse (0.5 and 0.25); + \end{tikzpicture} + eine kleine Kategorie. Dann suchen wir einen Limes $L$, sodass für alle Kegel + folgendes Diagramm kommutiert:\\ + \begin{center} + + + \begin{tikzpicture} + \node (Fi) at (0,0) {$\cdot$}; + \node (Fj) at (3,0) {$\cdot$}; + \node [red] (L) at (1.5,1.5) {$L$}; + \node [blue] (K) at (1.5,3) {$K$}; + + \draw + (L) edge[red] (Fi) + (L) edge[red] (Fj) + (K) edge[blue, bend right] (Fi) + (K) edge[blue, bend left] (Fj) + (K) edge[dotted] (L) + ; + \end{tikzpicture} + \end{center} + Für \cat{set}:\\ + gegeben $M,N$. Dann ist $\text{lim}\left( + \begin{tikzpicture}[baseline=-1mm] + \node(A) at (0,0){$\cdot$}; + \node(B) at (0.5,0){$\cdot$}; + \node (center) at (0.25, 0){}; + + \draw (center) ellipse (0.5 and 0.25); + \end{tikzpicture} + \right):=$ Produkt.\\ + \begin{center} + + + \begin{tikzpicture} + \node (M) at (0,0) {$M$}; + \node (N) at (3,0) {$N$}; + \node [red] (L) at (1.5,1.5) {$M\times N$}; + \node [blue] (K) at (1.5,3) {$T$}; + + \draw + (L) edge[red] node[left]{$\Pi_M$} (Fi) + (L) edge[red] node[right]{$\Pi_N$} (Fj) + (K) edge[blue, bend right] node[left]{$f_M$} (M) + (K) edge[blue, bend left] node[right]{$f_N$} (N) + (K) edge[dotted] (L) + ; + \end{tikzpicture} + \end{center} + Wobei T hier ein Testobjekt aus \cat{set}, $\Pi_M((m,n))=m$ und der Morphismus $T\mapsto M\times N$ + definiert ist als $t\mapsto (f_M(t),f_N(t))$. Analog funktionieren die Limiten für \cat{Grp} und \cat{K-VR}. \end{example} \ No newline at end of file diff --git a/main.pdf b/main.pdf index 8448831..fcd2ded 100644 Binary files a/main.pdf and b/main.pdf differ