diff --git a/.gitignore b/.gitignore index 0509c59..935b029 100644 --- a/.gitignore +++ b/.gitignore @@ -312,3 +312,7 @@ TSWLatexianTemp* *.glstex # End of https://www.toptal.com/developers/gitignore/api/latex +# Created by https://www.toptal.com/developers/gitignore/api/vscode +# Edit at https://www.toptal.com/developers/gitignore?templates=vscode + +.vscode/ \ No newline at end of file diff --git a/Readme.md b/Readme.md new file mode 100644 index 0000000..aec8c8e --- /dev/null +++ b/Readme.md @@ -0,0 +1,2 @@ +# Kategorientheorie +Dies ist ein Versuch die Aufschriebe des Vortrags zum Thema Einführung in die Kategorientheorie von Leonid Grau geordnet aufzuschreiben. Dieses Dokument wurde explizit nicht von Leonid erstellt, versucht aber so nah wie möglich die Tafelaufschriebe abzubilden. \ No newline at end of file diff --git a/aufschriebkategorientheoriekomprimiert.pdf b/aufschriebkategorientheoriekomprimiert.pdf new file mode 100644 index 0000000..addd1f9 Binary files /dev/null and b/aufschriebkategorientheoriekomprimiert.pdf differ diff --git a/chapters/deckblatt.tex b/chapters/deckblatt.tex new file mode 100644 index 0000000..8b030cd --- /dev/null +++ b/chapters/deckblatt.tex @@ -0,0 +1,16 @@ +\pagenumbering{gobble} +\begin{center} + \Huge \textbf{ Spaß mit Kategorien}\\ + \vspace{10mm} + \huge Eine Einführung in die Kategorientheorie\\ + \vspace{15mm} + \Large + Nach einem Vortrag von Leonid Grau am 26.09.2022\\ + \vspace{30mm} + Fassung vom \today +\end{center} +\newpage +\tableofcontents +\newpage +\pagenumbering{arabic} + diff --git a/chapters/motivation.tex b/chapters/motivation.tex new file mode 100644 index 0000000..1e00f51 --- /dev/null +++ b/chapters/motivation.tex @@ -0,0 +1,9 @@ +\section{Motivation} +Oft betrachtet man allgemeine algebraische Strukturen und trifft Aussagen über diese. +Die konkrete algebraische Struktur ist dabei häufig nicht relevant. So gibt es zum Beispiel Strukturen wie +Homomorphismen als Gruppenhomomorphismen, Ringhomomorphismen, Lineare Abbildungen oder stetige Abbildungen. +Auch den Homomorphiesatz gibt es zum Beispiel für Gruppen und Vektorräume und Produkte sind auch für einige algebraische Strukturen definiert.\\ +Es kann sich also durchaus lohnen ein \glqq Template'' zu entwickeln, das in der Lage ist diese Strukturen im allgemeinen zu +betrachten ohne dabei auf konkrete Instanzen zu achten.\\ +Die Kategorientheorie bietet ein solches Werkzeug. Sie ist dabei omnipräsent in der algebraischen Geometrie und ist die Sprache der algebraischen +Topologie. Auch einige Konzepte der funktionalen Programmierung sind tief in den Konzepten der Kategorientheorie verwurzelt. diff --git a/main.pdf b/main.pdf new file mode 100644 index 0000000..841ec9f Binary files /dev/null and b/main.pdf differ diff --git a/main.tex b/main.tex index e69de29..e4d1ad2 100644 --- a/main.tex +++ b/main.tex @@ -0,0 +1,12 @@ +\documentclass[11pt]{article} +\usepackage[ngerman]{babel} +\usepackage[T1]{fontenc} +\usepackage{biolinum} +\usepackage[a4paper]{geometry} + +\biolinum + +\begin{document} +\include{./chapters/deckblatt.tex} +\include{./chapters/motivation.tex} +\end{document} \ No newline at end of file