Kapitel über pullback angefangen
This commit is contained in:
parent
dbc4d45820
commit
2b3cbd0d83
2 changed files with 40 additions and 0 deletions
|
|
@ -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}
|
||||
Loading…
Add table
Add a link
Reference in a new issue