diff --git a/chapters/Kegel_und_Ko.tex b/chapters/Kegel_und_Ko.tex index 504457e..9cbb22a 100644 --- a/chapters/Kegel_und_Ko.tex +++ b/chapters/Kegel_und_Ko.tex @@ -567,4 +567,42 @@ aussehen können. $V\mapsto V\coprod_X W$ ist definiert als $v\mapsto [(v,0)]$ und\\ $\varphi: V\coprod_X W\mapsto T$ ist definiert als $[(v,w)]\mapsto g_V(v)+g_W(w)$ \end{example} -\subsection{Kern und Kokern} \ No newline at end of file +\subsection{Kern und Kokern} +\begin{definition}{Kern\\} + Der Kern ist der Limes über dem Diagramm + \begin{tikzpicture}[baseline=-1mm] + \node (L) at (0,0){$\bullet$}; + \node (R) at (1,0){$\bullet$}; + + \draw + (L) edge node[above]{$0$} (R) + (L) edge[bend right] (R) + ; + \end{tikzpicture}. + $0_{A,B}\in\mor{\mathscr{C}}{A}{B}$ ist dabei so definiert, dass für jeden Morphismus + $f\in\mor{\mathscr{C}}{A}{B}$ $0_{A,B}+f=f=f+0_{A,B}$ gilt. Nicht in jeder Kategorie + existiert solch eine Abbildung.\\ + Gesucht ist also ein Kegel $K$ und eine Abbildung $\iota$, sodass folgendes Diagramm + kommutiert und $0\circ\iota=f\circ\iota$ gilt:\\ + \begin{figure}[h] + \begin{center} + \begin{tikzpicture} + \node (L) at (0,0){$\bullet$}; + \node (R) at (2,0){$\bullet$}; + \node (K) at (-2,0){$K$}; + \node (KE) at (-1,1){$\bullet$}; + + \draw + (L) edge node[above]{$0$} (R) + (L) edge[bend right] node[below]{$f$}(R) + (K) edge[red] node[above]{$\iota$} (L) + (KE) edge[dotted] (K) + (KE) edge[blue] (L) + ; + \end{tikzpicture} + \end{center} + \caption{Das Kommutative Diagramm für einen Kern} + \end{figure}\\ + Auch der Kern existiert nicht in jeder Kategorie. Die Kategorien \cat{Ab}, \cat{Grp} und \cat{K-VR} haben + beispielsweise einen Kern wohingegen \cat{Set} keinen Besitzt. +\end{definition} \ No newline at end of file diff --git a/chapters/nat_trafo.tex b/chapters/nat_trafo.tex new file mode 100644 index 0000000..468ef77 --- /dev/null +++ b/chapters/nat_trafo.tex @@ -0,0 +1 @@ +\section{Natürliche Transformationen} \ No newline at end of file diff --git a/main.pdf b/main.pdf index 1a704ba..df06af4 100644 Binary files a/main.pdf and b/main.pdf differ diff --git a/main.tex b/main.tex index 98351f1..fd0d0da 100644 --- a/main.tex +++ b/main.tex @@ -31,5 +31,6 @@ every edge/.style = {draw, -to} \include{./chapters/deckblatt.tex} \include{./chapters/motivation.tex} \include{./chapters/Grundlagen.tex} -\include{chapters/Kegel_und_Ko.tex} +\include{./chapters/Kegel_und_Ko.tex} +\include{./chapters/nat_trafo.tex} \end{document} \ No newline at end of file