\section{Ausblick}

\subsection{Curry-Howard-Lambek-Korrespondenz}

\begin{tabular}{ccc}
  Logik & Programmierung & Kategorientheorie \\
  Aussagen & Typen & Objekte \\
  Beweise & Terme & Morphismen \\
  intuitionistische Logik & einfach-getypter Lambda-Kalkül &
    kartesisch abgeschlossene Kategorien \\
  % Schlussregel vs. Termregel vs. Kompositionsgesetz
\end{tabular}

% http://ljk.imag.fr/membres/Dominique.Duval/Slides/capp10.pdf

% Topostheorie
% kategorielle Logik
% 2-Kategorien
% unendlich-Kategorien
% simpliziale Mengen
% homologische Algebra
% "rechts ist dort, wo das Tensorprodukt exakt ist"
% derivierte Kategorien
% Monaden (sollte schon ins Adjunktionskapitel!)
% weitere TheoInf-Verbindungen

% Über Logik spricht man nicht, Logik beherrscht man.
% Topologie ohne Punkte
% Monomorphismen in Kategorien von Quivern

% Handbook of Categorical Algebra, Borceux
% Categories and Sheaves von Kashiwara und Schapira
