Revise ... (Partial) (1)

jpvillaisaza · Mar 11, 2014 · 33f8393 · 33f8393
1 parent 667b31b
commit 33f8393
Show file tree

Hide file tree

Showing 13 changed files with 451 additions and 73 deletions.
diff --git a/abstract.tex b/abstract.tex
@@ -0,0 +1,18 @@
+\chapter{Abstract}
+
+%% <= 500 words
+%% Key words
+
+\paragraph{Keywords} category theory, functional programming
+
+Keywords: category theory, functional programming.
+
+%% 1 to 6
+%% major concepts, at least 20 per cent of thesis
+
+%% computer programming
+%% computer science
+%% mathematics
+%% theoretical mathematics
+
+\clearemptydoublepage
diff --git a/acceptance.tex b/acceptance.tex
@@ -0,0 +1,51 @@
+\thispagestyle{empty}
+
+\begin{flushright}
+
+  \begin{minipage}{.5\textwidth}
+    \begin{center}
+      {Nota de aceptación:}
+    \end{center}
+  \end{minipage}
+  \rule{.5\textwidth}{.0pt}\\
+  \rule{.5\textwidth}{.4pt}\\
+  \rule{.5\textwidth}{.4pt}\\
+  \rule{.5\textwidth}{.4pt}\\
+  \rule{.5\textwidth}{.4pt}\\
+  \rule{.5\textwidth}{.4pt}\\
+  \rule{.5\textwidth}{.4pt}
+
+  \vspace*{\fill}
+
+  \rule{.5\textwidth}{.4pt}\\
+  \begin{minipage}{.5\textwidth}
+    \begin{center}
+      {Presidente del jurado}
+    \end{center}
+  \end{minipage}
+
+  \vspace*{\fill}
+
+  \rule{.5\textwidth}{.4pt}\\
+  \begin{minipage}{.5\textwidth}
+    \begin{center}
+      {Jurado}
+    \end{center}
+  \end{minipage}
+
+  \vspace*{\fill}
+
+  \rule{.5\textwidth}{.4pt}\\
+  \begin{minipage}{.5\textwidth}
+    \begin{center}
+      {Jurado}
+    \end{center}
+  \end{minipage}
+
+\end{flushright}
+
+\vspace*{\fill}
+
+Medellín, \today
+
+\clearemptydoublepage
diff --git a/acknowledgements.tex b/acknowledgements.tex
@@ -1,19 +1,18 @@
 \chapter{Acknowledgements}
 
-%% Andrés
-
-%% Nico
-
-%% Parents
-
-%% Pacho
-
-%% María Paula?
-
-%% Seminario lógica y computación
-
-%% patience. the capacity to accept or tolerate delay, problems, or
-%% suffering without becoming annoyed or anxious: 'I have run out of
-%% patience with her'
+%% Many thanks to my supervisor, Andrés Sicard-Ramírez, especially for
+%% introducing me to category theory and functional programming.
+
+%% I'm very grateful to my parents, Ana María Isaza Builes and Carlos
+%% Fernando Villa Gómez, and to my boyfriend and proofreader, Nicolás
+%% Arbeláez Estrada, for your support and encouragement, and for not
+%% running out of patience with me.
+
+%% And last but not least, I'm thankful to the members of the jury,
+%% Francisco José Correa Zabala and Juan Francisco Cardona McCormick, to
+%% the previous and current Systems Engineering undergraduate projects
+%% coordinators, Hernán Darío Toro Escobar and Edwin Nelson Montoya
+%% Múnera, respectively, to the EAFIT Logic and Computation seminar 2013
+%% attendees, and to my psychologist, María Paula Valderrama López.
 
 \clearemptydoublepage
diff --git a/cain.bib b/cain.bib
@@ -40,7 +40,7 @@ @book{barr-1984
   title        = {Toposes, Triples and Theories},
   date         = {1984},
   volume       = {278},
-  series       = {Grundlehren der mathematischen Wissenschaften},
+  series       = {Grund\-leh\-ren der mathematischen Wissenschaften},
   publisher    = {Springer},
 }
 
@@ -358,7 +358,7 @@ @phdthesis{sicardramirez-2014
 @article{strachey-2000,
   author       = {Christopher Strachey},
   title        = {Fundamental Concepts in Programming Languages},
-  journaltitle = {Higher-Order and Symbolic Computation},
+  journaltitle = {High\-er-Order and Symbolic Computation},
   date         = {2000},
   volume       = {13},
   number       = {1--2},

diff --git a/conclusions.tex b/conclusions.tex
@@ -30,4 +30,20 @@ \chapter{Conclusions}
 
 \todo{We are only concerned with inductive types, not coinductive.}
 
+
+
+
+%% 1. Hacia atrás: categorías incompleto sin functores, functores
+%% incompleto sin transformaciones naturales.
+
+%% 2. Fin de los tres conceptos básicos de teoría de categorías. Con esto
+%% queda abierto el mundo categórico.
+
+%% 3. Hacia adelante: todo requiere transformaciones. Monoidals:
+%% functores con trasnformaciones. Mónadas: endofunctores con
+%% transformaciones.
+
+%% 4. En transformaciones naturales: abre a parametricidad, visión
+%% distinta de polimorfismo.
+
 \clearemptydoublepage
diff --git a/cover.tex b/cover.tex
@@ -1,5 +1,21 @@
-\title{Cain: Category Theory Applied to Functional Programming}
-\author{Juan Pedro Villa Isaza}
-\date{\today}
+\begin{titlepage}
 
-\maketitle
+  \begin{center}
+
+    {\LARGE Category Theory Applied to Functional Programming}
+
+    \vspace*{\fill}
+
+    {\large Juan Pedro Villa Isaza}
+
+    \vspace*{\fill}
+
+    {\large Departamento de Informática y Sistemas}\\
+    {\large Escuela de Ingeniería}\\
+    {\large Universidad EAFIT}\\
+    {\large Medellín, Colombia}\\
+    {\large 2014}
+
+  \end{center}
+
+\end{titlepage}
diff --git a/dedication.tex b/dedication.tex
@@ -3,9 +3,7 @@
 \vspace*{\fill}
 
 \begin{center}
-
   To Abuelita
-
 \end{center}
 
 \vspace*{\fill}

diff --git a/frontispiece.tex b/frontispiece.tex
@@ -4,9 +4,12 @@
 
 \vspace*{\fill}
 
-\begin{center}
-  \includegraphics[scale=0.8]{hatter}
-\end{center}
+\begin{figure}[h]
+  \begin{center}
+    \includegraphics[scale=0.8]{hatter}
+  \end{center}
+  \label{fig:hatter}
+\end{figure}
 
 \epigraph{
   ``Why is a raven like a writing-desk?''