CategoryTheory/algprog
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Add outline

Browse source
This commit is contained in:
Leon Vatthauer 2024-03-20 15:41:33 +01:00
parent 1cae1942f3
commit 89923c10c2
Signed by: leonv
SSH key fingerprint: SHA256:G4+ddwoZmhLPRB1agvXzZMXIzkVJ36dUYZXf5NxT+u8
8 changed files with 25 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tex/.vscode/ltex.dictionary.en-US.txt vendored
View file

@ -1,2 +1,4 @@
Vatthauer
mycase
Coalgebras
Coalgebra

4
tex/Makefile
View file

@ -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)

BIN
tex/main.pdf
View file

Binary file not shown.

4
tex/main.tex
View file

@ -110,6 +110,8 @@
%%
%% Contents
\include{sections/01_introduction}
\include{sections/02_categories}
\include{sections/03_constructions}
%%
\end{document}

4
tex/sections/01_introduction.tex Normal file
View file

@ -0,0 +1,4 @@
\section{Introduction}
\subsection{Functions}
\subsection{Data Types}

9
tex/sections/02_categories.tex Normal file
View file

@ -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

1
tex/sections/02_datatypes.tex Normal file
View file

@ -0,0 +1 @@
\section{Functions and Data}

4
tex/sections/03_constructions.tex Normal file
View file

@ -0,0 +1,4 @@
\section{Constructions}
\subsection{CPO}
\subsection{Initial Algebra Construction}
\subsection{Terminal Coalgebra Construction}