diff --git a/chapters/Kegel_und_Ko.tex b/chapters/Kegel_und_Ko.tex index e034394..531b97a 100644 --- a/chapters/Kegel_und_Ko.tex +++ b/chapters/Kegel_und_Ko.tex @@ -260,4 +260,27 @@ aussehen können. $\Rightarrow\varphi\circ\tilde{\varphi}=id_L$\\ Analog: $\tilde{\varphi}\circ\varphi=id_{\tilde{L}}$ \qed -\end{lemma} \ No newline at end of file +\end{lemma} +\subsection{Kokegel, Kolimes und Koprodukt} +\begin{definition}{Kokegel \& Kolimes\\} + Sei $D:I\mapsto\mathscr{C}$ ein Diagramm.\\ + Kokegel: + \begin{tikzpicture}[baseline=5mm] + \node[blue] (K) at (0, 0){$K$}; + \node (P1) at (-1, 1){$\cdot$}; + \node (P2) at (1, 1){$\cdot$}; + \node (center) at (0,1){}; + + \draw + (P1) edge (P2) + (P1) edge[blue] (K) + (P2) edge[blue] (K) + ; + \draw (center) ellipse (1.25 and 0.25); + \end{tikzpicture} + Ein Objekt $K$ aus $\mathscr{C}$, sodass von jedem Objekt aus $\mathscr{C}$ + Morphismen auf $K$ existieren und alle Dreiecke kommutieren.\\ + Ein Kolimes ist ein universeller Kokegel: + + +\end{definition} \ No newline at end of file diff --git a/main.pdf b/main.pdf index c19fe3c..3aed12d 100644 Binary files a/main.pdf and b/main.pdf differ