clara/category-theory
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Motivation & basic toolchain setup

Browse source
This commit is contained in:
CDaut 2022-09-27 01:43:18 +02:00 • committed by CDaut
parent a0e5694994
commit e5b97f956e
7 changed files with 43 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

9
chapters/motivation.tex Normal file
View file

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