diff --git a/chapters/Kegel_und_Ko.tex b/chapters/Kegel_und_Ko.tex index ec90da6..9f52a18 100644 --- a/chapters/Kegel_und_Ko.tex +++ b/chapters/Kegel_und_Ko.tex @@ -410,3 +410,43 @@ aussehen können. \end{minipage} \end{center} \end{example} +\subsection{Pullback und Pushout} +\begin{definition}{Pullback\\} + Ein Pullback ist der Limes des Diagramms + \begin{tikzpicture}[baseline=0mm] + \node (A) at (0,0){$\cdot$}; + \node (B) at (1,0){$\cdot$}; + \node (C) at (1,1){$\cdot$}; + + \draw + (A) edge (B) + (C) edge (B) + ; + \end{tikzpicture} + also ein Limes $L$, sodass folgendes Diagramm kommutiert:\\ + \begin{figure}[h] + \begin{center} + \begin{tikzpicture} + \node (A) at (0,0){$\cdot$}; + \node (B) at (2,0){$\cdot$}; + \node (C) at (2,2){$\cdot$}; + \node[red] (L) at (0,2){$L$}; + \node[blue] (T) at (-1,3){$T$}; + + \draw + (A) edge (B) + (C) edge (B) + (L) edge[red] (A) + (L) edge[red] (C) + (T) edge[dotted] (L) + (T) edge[blue, bend right] (A) + (T) edge[blue, bend left] (C) + ; + \end{tikzpicture} + \end{center} + \caption{Das Kommutative Diagramm für einen Pullback} + \end{figure} +\end{definition} +\begin{example}{Pullback über der Kategorie \cat{K-VR}\\} + +\end{example} \ No newline at end of file diff --git a/main.pdf b/main.pdf index 2bfcfca..edc4412 100644 Binary files a/main.pdf and b/main.pdf differ