\section{Kegel und Ko}
\subsection{Nötige Definitionen}
\begin{definition}{Diagramm\\}
    Ein Diagramm in einer Kategorie $\mathscr{C}$ ist ein Funktor\\
    $\mathcal{F}:I\mapsto\mathscr{C}$ von einer kleinen Kategorie I.
\end{definition}