\section{Kegel und Ko}
\subsection{Kegel und Limiten}
\begin{definition}{Diagramm\\}
    Ein Diagramm in einer Kategorie $\mathscr{C}$ ist ein Funktor\\
    $\mathcal{F}:I\mapsto\mathscr{C}$ von einer kleinen\footnote{Eine Kategorie heißt klein, wenn die Klasse ihrer Morphismen eine Menge ist. Nicht kleine Kategorien werden hier nicht betrachtet.} Kategorie I. Ein Diagramm bettet also quasi eine kleine Kategorie
    in eine andere ein.
\end{definition}
\begin{definition}{Kegel\\}
    Ein Kegel über einem Diagramm $\mathcal{F}$ ist ein Objekt $K$ aus
    $\mathscr{C}$ und Morphismen $K\xrightarrow{f_i}\mathcal{F}(i)$ für alle $i\in\ob I$ sodass
    alle Diagramme kommutieren.
\end{definition}
\begin{center}
    \begin{figure}[h]
        \centering
        \begin{tikzpicture}
            \node (Fi) at (0,0) {$\mathcal{F}(i)$};
            \node (Fj) at (3,0) {$\mathcal{F}(j)$};
            \node [blue] (K) at (1.5,2) {$K$};
            \node (ul) at (-1, 3){};
            \node (lr) at (4, -1){};
            \node (C) at (-0.5, 2.5) {$\mathscr{C}$};
            \draw
            (K) edge[blue] (Fi)
            (K) edge[blue] (Fj)
            (Fi) edge node[below]{$\mathcal{F}(f)$} (Fj)
            (Fi) edge[loop, out=90+45, in=180, looseness=3] (Fi)
            (Fj) edge[loop, out=90-45, in=0, looseness=3] (Fj)

            (ul) rectangle (lr);
            ;
        \end{tikzpicture}\\
        \begin{tikzpicture}
            \node (i) at (0,0) {$i$};
            \node (j) at (3,0){$j$};
            \node (ul) at (-1,1.5){};
            \node (lr) at (4,-1){};
            \node (I) at (-0.5, 1){$I$};

            \draw
            (i) edge node[below]{$f$} (j)
            (i) edge[loop, out=90, in=180, looseness=4] (i)
            (j) edge[loop, out=90, in=0, looseness=4] (j)
            (ul) rectangle (lr)
            ;
        \end{tikzpicture}
        \caption{Eine Kategorie $\mathscr{C}$ und eine Kleine Kategorie $I$, die vom Diagramm
            $\mathcal{F}$ in $\mathscr{C}$ abgebildet wird. Außerdem der Kegel $K$ in blau. }
    \end{figure}
\end{center}
$\mathcal{F}(f)\circ f_i=f_j$ für alle $f\in\mor{I}{i}{j}$.
\begin{definition}{Limes\\}
    Ein Limes über einem Diagramm $\mathcal{F}$ ist ein universeller Kegel L:
    \begin{center}
        \begin{tikzpicture}
            \node (Fi) at (0,0) {$\mathcal{F}(i)$};
            \node (Fj) at (3,0) {$\mathcal{F}(j)$};
            \node [red] (L) at (1.5,1.5) {$L$};
            \node [blue] (K) at (1.5,3) {$K$};

            \draw
            (L) edge[red] node[left]{$g_i$} (Fi)
            (L) edge[red] node[right]{$g_j$} (Fj)
            (K) edge[blue, bend right] node[left]{$f_i$} (Fi)
            (K) edge[blue, bend left] node[right]{$f_j$} (Fj)
            (K) edge[dotted] (L)
            (Fi) edge node[below]{$\mathcal{F}(f)$} (Fj)
            ;
        \end{tikzpicture}\\
    \end{center}
    Ein Kegel, sodass für jeden Kegel $K$ über $\mathcal{F}$ ein eindeutiger
    Morphismus $K\mapsto L$ existiert, sodass $f_i=g_i\circ (K\mapsto L)$.
    Der Limes ist hier rot dargestellt und der Beispielkegel blau.
\end{definition}
Nachdem nun definiert wurde was Diagramme, Kegel und Limiten sind, sollen nun einige Beispiele
angeführt werden, wie eben solche Kegel und Limiten über bestimmten Kategorien
aussehen können.

\begin{example}{Leere Kategorie\\}
    Es sei $I$ die leere Kategorie. Also $\ob I=\varnothing=\mor{I}{\cdot}{\cdot}$.\\
    \begin{itemize}
        \item Allgemein: $lim(I) =$ terminales Objekt
        \item Für $\cat{set}:\text{Kegel}_I =\ob\cat{set}$ und $lim(I)=\{*\}$
        \item Für $\cat{grp}=\{e\}$
        \item Für $\cat{K-VR}=\{0\}$
    \end{itemize}
    Dieses Beispiel ist relativ uninteressant, da $I$ keine Objekte enthält und somit
    die Anforderungen um Kegel bzw. Limiten zu finden nicht besonders hoch sind.
\end{example}
\newpage
\begin{example}{Einelementige Kategorie\\}
    Sei $I=$
    \begin{tikzpicture}[baseline=2mm]
        \node (i) at (0,0) {i};
        \draw
        (i) edge[loop, looseness=5] (i)
        ;
    \end{tikzpicture}
    die Kategorie mit einem Element und dem Identitätsmorphismus. Betrachten
    wir nun allgemein eine Kategorie $\mathscr{C}$ und ein Diagramm $\mathcal{F}: \mathscr{C}\mapsto I$.
    Dann gilt $\text{Kegel}_{\mathscr{C}}(I)=$
    \begin{tikzpicture}[baseline=4mm]
        \node (1)[blue] at (0,1) {$\cdot$};
        \node (2) at (0,0) {$\cdot$};
        \draw
        (1) edge[blue] (2)
        ;
        \draw[decorate,decoration={brace}] (1.north east) -- (2.south east);
        \draw[decorate,decoration={brace, mirror}] (1.north west) -- (2.south west);
    \end{tikzpicture}
    $=$Alle Objekte in $\mathscr{C}$, die einen Morphismus nach $\mathcal{F}(i)$ haben.\\
    $\text{lim}(\mathcal{F})=\mathcal{F}(i)$:\\
    \begin{center}
        \begin{figure}[h]
            \centering
            \begin{minipage}{0.3\linewidth}
                \centering
                \begin{tikzpicture}
                    \node (Fi) at (0,0) {$\mathcal{F}(i)$};
                    \node (L)[red] at (0,2){$\cdot$};
                    \node (K)[blue] at (1,1){$\cdot$};

                    \draw
                    (L) edge[red] (Fi)
                    (K) edge[dotted] (L)
                    (K) edge[blue] (Fi)
                    ;
                \end{tikzpicture}
                \caption{Ein allgemeines Diagramm für Kegel (blau) und Limes (rot) über dieser Kategorie}
            \end{minipage}
            \hspace{10mm}
            \begin{minipage}{0.3\linewidth}
                \centering
                \begin{tikzpicture}
                    \node (Fi) at (0,0) {$\mathcal{F}(i)$};
                    \node (L)[red] at (0,2){$\mathcal{F}(i)$};
                    \node (K)[blue] at (2,2){$\cdot$};

                    \draw
                    (L) edge[red] (Fi)
                    (K) edge[dotted] (L)
                    (K) edge[blue] (Fi)
                    ;
                \end{tikzpicture}
                \caption{Das selbe Diagramm erhält man, wenn man $\text{lim }\mathcal{F}=\mathcal{F}(i)$ setzt.}
            \end{minipage}
        \end{figure}
    \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}
\begin{lemma}{Limiten sind eindeutig bis auf eindeutige Isomorphismen.\\}
    Sei $D:\mathcal{I}\mapsto\mathscr{C}$ ein Diagramm, $(L,f_*),(\tilde{L},\tilde{f_*})$ Limiten über $D$.
    \begin{center}
        \begin{figure}[h]
            \centering
            \begin{tikzpicture}
                \node (L1) at (0,3) {$L$};
                \node (L2) at (3,3) {$\tilde{L}$};
                \node (P1) at (0,0) {};
                \node (P2) at (1.5,0) {};
                \node (P3) at (3,0) {};

                \draw
                (L1) edge[dotted] (P1)
                (L1) edge node[left]{$f_i$} (P2)
                (L2) edge node[right]{$\tilde{f_i}$} (P2)
                (L2) edge[dotted]  (P3)
                (L1) edge[dotted, bend right] node[below]{$\tilde{\varphi}$}(L2)
                (L2) edge[dotted, bend right] node[above]{$\varphi$} (L1)
                ;
                \draw (P2) ellipse (2 and 0.5);
            \end{tikzpicture}
            \caption{Zwei Limiten über einem Diagramm und zugehörige Morphismen}
        \end{figure}
    \end{center}
    $L$ Limes $\Rightarrow$ Es existiert ein $\varphi:\tilde{L}\mapsto L$ mit
    $f_i\circ\varphi=\tilde{f_i}$ für alle $i\in I$.\\
    $\tilde{L}$ Limes $\Rightarrow$ Es existiert ein $\tilde{\varphi}: L\mapsto\tilde{L}$ mit
    $\tilde{f_i}\circ\tilde{\varphi}=f_i$\\
    \textbf{Beh}: $\varphi=\tilde{\varphi}^{-1}$\\
    \begin{center}
        \begin{tikzpicture}
            \node (L1) at (0,2) {$L$};
            \node (L2) at (2,2) {$L$};
            \node (P1) at (0,0) {};
            \node (P2) at (2,0) {};
            \node (center) at (1,0){};

            \draw
            (L1) edge node[right]{$f_i$}  (P1)
            (L2) edge (P1)
            (L1) edge (P2)
            (L2) edge node[left]{$f_i$} (P2)
            (L2) edge node[above]{$\varphi\circ\tilde{\varphi}$}(L1)
            ;
            \draw (center) ellipse (2 and 0.5);
        \end{tikzpicture}
    \end{center}
    $f_i\circ (\varphi\circ\tilde{\varphi})=\tilde{f_i}\circ\tilde{\varphi}=f_i$
    Also $f_i\circ(id_L)=f_i$\\
    $\Rightarrow\varphi\circ\tilde{\varphi}=id_L$\\
    Analog: $\tilde{\varphi}\circ\varphi=id_{\tilde{L}}$
    \qed
\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}