diff --git a/tex/.vscode/ltex.dictionary.en-US.txt b/tex/.vscode/ltex.dictionary.en-US.txt index c55e3aa..4619b16 100644 --- a/tex/.vscode/ltex.dictionary.en-US.txt +++ b/tex/.vscode/ltex.dictionary.en-US.txt @@ -1,2 +1,4 @@ Vatthauer mycase +Coalgebras +Coalgebra diff --git a/tex/Makefile b/tex/Makefile index a6b7fd5..63e8614 100644 --- a/tex/Makefile +++ b/tex/Makefile @@ -11,5 +11,5 @@ all: $(pdf) clean: latexmk -C $(src) rm -f $(wildcard *.out *.nls *.nlo *.bbl *.blg *-blx.bib *.run.xml *.bcf *.synctex.gz *.fdb_latexmk *.fls *.toc *.loe *.tdo *.bbl-SAVE-ERROR) - rm -f $(wildcard src/*.aux) - rm -rf $(wildcard _minted-main src/.auctex-auto _region_.prv) + rm -f $(wildcard sections/*.aux) + rm -rf $(wildcard _minted-main sections/.auctex-auto _region_.prv) diff --git a/tex/main.pdf b/tex/main.pdf deleted file mode 100644 index 85ab2fe..0000000 Binary files a/tex/main.pdf and /dev/null differ diff --git a/tex/main.tex b/tex/main.tex index 751dc81..bd7a373 100644 --- a/tex/main.tex +++ b/tex/main.tex @@ -110,6 +110,8 @@ %% %% Contents - +\include{sections/01_introduction} +\include{sections/02_categories} +\include{sections/03_constructions} %% \end{document} \ No newline at end of file diff --git a/tex/sections/01_introduction.tex b/tex/sections/01_introduction.tex new file mode 100644 index 0000000..e14a262 --- /dev/null +++ b/tex/sections/01_introduction.tex @@ -0,0 +1,4 @@ +\section{Introduction} + +\subsection{Functions} +\subsection{Data Types} \ No newline at end of file diff --git a/tex/sections/02_categories.tex b/tex/sections/02_categories.tex new file mode 100644 index 0000000..b9aebd7 --- /dev/null +++ b/tex/sections/02_categories.tex @@ -0,0 +1,9 @@ +\section{Category Theory} + +\subsection{Special Objects} +\subsection{Duality} +\subsection{Functors} +\subsection{Natural Transformations} +\subsection{Functor Algebras} +\subsection{Functor Coalgebras} +\subsection{(co)Limits} % chktex 36 \ No newline at end of file diff --git a/tex/sections/02_datatypes.tex b/tex/sections/02_datatypes.tex new file mode 100644 index 0000000..2241169 --- /dev/null +++ b/tex/sections/02_datatypes.tex @@ -0,0 +1 @@ +\section{Functions and Data} diff --git a/tex/sections/03_constructions.tex b/tex/sections/03_constructions.tex new file mode 100644 index 0000000..4190d84 --- /dev/null +++ b/tex/sections/03_constructions.tex @@ -0,0 +1,4 @@ +\section{Constructions} +\subsection{CPO} +\subsection{Initial Algebra Construction} +\subsection{Terminal Coalgebra Construction} \ No newline at end of file