Die Mathe-Redaktion - 26.05.2019 17:51 - Registrieren/Login
Auswahl
ListenpunktHome
ListenpunktAktuell und Interessant ai
ListenpunktArtikelübersicht/-suche
ListenpunktAlle Links / Mathe-Links
ListenpunktFach- & Sachbücher
ListenpunktMitglieder / Karte / Top 15
ListenpunktRegistrieren/Login
ListenpunktArbeitsgruppen
ListenpunktSchwätz
ListenpunktWerde Mathe-Millionär!
ListenpunktAnmeldung MPCT Sept.
ListenpunktFormeleditor fedgeo
Schwarzes Brett
Aktion im Forum
Suche
Stichwortsuche in Artikeln und Links von Matheplanet
Suchen im Forum
Suchtipps

Bücher
Englische Bücher
Software
Suchbegriffe:
Mathematik bei amazon
Naturwissenschaft & Technik
In Partnerschaft mit Amazon.de
Kontakt
Mail an Matroid
[Keine Übungsaufgaben!]
Impressum

Bitte beachten Sie unsere Nutzungsbedingungen, die Distanzierung, unsere Datenschutzerklärung und
die Forumregeln.

Sie können Mitglied werden. Mitglieder können den Matheplanet-Newsletter bestellen, der etwa alle 2 Monate erscheint.

Der Newsletter Okt. 2017

Für Mitglieder
Mathematisch für Anfänger
Wer ist Online
Aktuell sind 574 Gäste und 30 Mitglieder online.

Sie können Mitglied werden:
Klick hier.

Über Matheplanet
 
[Zurück zum Index der Buchbesprechungen]

Categories for the Working Mathematician

Mac Lane, Saunders

Buchcover
Vorab: Diese Einführung die Kategorientheorie richtet sich nicht nur an den "arbeitenden Mathematiker". Vielmehr ist es so, dass jeder, der einmal Mathematiker werden möchte, von diesem exzellenten Buch langfristig profitieren wird. Zu bemerken ist auch, dass Saunders Mac Lane (1909 - 2005) einer der Mitbegründer der Kategorientheorie ist.

Inhalt:

I. Categories, Functors and Natural Transformations
II. Constructions on Categories
III. Universals and Limits
IV. Adjoints
V. Limits
VI. Monads and Algebras
VII. Monoids
VIII. Abelian Categories
IX. Special Limits
X. Kan Extensions

Jedes Kapitel besteht aus einzelnen Abschnitten, die jeweils von einer Sammlung aus recht einfachen, aber lohnenswerten Übungsaufgaben abgeschlossen werden. Dabei geht es vor allem um konkrete Beispiele, die die Theorie zum Leben erwecken und die einem bereits bekannten Zusammenhänge in das allgemeine Bild der Kategorientheorie einfügen. Aber auch im Text selbst kommen die Beispiele nicht zu kurz. Jedes Kapitel schließt außerdem mit interessanten historischen Anmerkungen zur Entstehung der Theorie ab.

Das erste Kapitel führt die grundlegenden Begriffe der Kategorientheorie ein: Kategorien, Funktoren, natürliche Transformationen, Mono-, Epi- und Isomorphismen. Mit vielen Beispielen wird dem Leser vermittelt, dass sich diese Strukturen überall in der Mathematik wiederfinden. Das zweite Kapitel behandelt verschiedene Konstruktionen, wie aus Kategorien neue Kategorien gewonnen werden können (Produkte, Funktorkategorien, Komma-Kategorien, Kategorien durch Erzeuger und Relationen, Quotientenkategorien), außerdem wird das Dualitätsprinzip besprochen.
Im dritten Kapitel werden universelle Eigenschaften in verschiedenen Inkarnationen studiert (universelle Elemente, Yoneda-Lemma, Kolimites, Limites). Mit vielen Beispielen wird man damit vertraut gemacht und man sieht, dass die Mathematik voll mit solchen Konstruktionen ist. Im vierten Kapitel werden gründlich adjungierte Funktoren studiert, die ebenfalls überall auftreten und mit vielen Beispielen beleuchtet werden. Außerdem geht es um kartesisch-geschlossene Kategorien sowie Operationen mit Adjunktionen.
Das fünfte Kapitel geht spezieller auf Limites ein: Es wird die Zerlegung in Produkte und Differenzkerne besprochen, der berühmte Satz von Freyd (GAFT) über die Existenz von adjungierten Funktoren (mit dem z.B. die Existenz von freien Gruppen oder Stone-Cech-Kompaktifizierungen sofort klar ist, aber noch viel mehr) sowie seine speziellere Form (SAFT).
Das sechste Kapitel handelt von Monaden sowie monadischen Funktoren, insbesondere den Satz von Beck für deren Charakterisierung. Als Anwendung wird gezeigt, dass die Kategorie der kompakten Hausdorffräume monadisch über der Kategorie der Mengen ist. Das siebte Kapitel handelt von Monoiden, monoidalen Kategorien (insbesondere Mac Lanes Kohärenzsatz) und geht auf deren Bedeutung in der algebraischen Topologie ein: Die singulären Homologie wird aus der simplizialen Kategorie konstruiert. Außerdem wird die besonders gutartige Kategorie der kompakt-erzeugten Hausdorffräume besprochen.
Im achten Kapitel geht es um die Grundobjekte der homologische Algebra, nämlich den abelschen Kategorien. Anstatt den unschönen Einbettungssatz zu zitieren, werden Diagramjagden in abelschen Kategorien mit Hilfe von verallgemeinerten Elementen möglich gemacht und damit einige Diagrammlemmata (Fünfer Lemma, Schlangenlemma) bewiesen.
Das neunte Kapitel geht noch einmal spezieller auf Limites ein: Gerichtete Limites, Vertauschen von Limites, Enden und Koenden, die dann zu einem Art "Satz von Fubini" in der Kategorientheorie führen. Das zehnte Kapitel schließlich behandelt Kan-Erweiterungen. Es wird gezeigt, dass sich alle vorher eingeführten Konzepte als Kan-Erweiterungen auffassen lassen.

Soviel zum Inhalt. Es gibt wohl kein anderes Buch, welches mich so sehr beeinflusst hat, wie "der Mac Lane". Man lernt, die überall in der Mathematik verstreuten Begriffe und Theorien konzeptioneller zu sehen und besser einordnen zu können. Bis auf ein paar Ausnahmen beinhaltet das Buch keine besonders nichttrivialen und tiefliegenden Sätze (es ist allerdings ein Irrglaube, anzunehmen, dass Kategorientheorie nur aus Trivialitäten besteht, für ein besonders krasses Beispiel siehe Jacob Luries Buch "Higher Topos Theory"), aber darum geht es auch gar nicht. Mac Lane schafft es hier, die Grundlagen der Kategorientheorie kristallklar zu entwickeln.

An Vorwissen muss man kaum etwas mitbringen, jedoch sollten einem natürlich ein paar Grundbegriffe (Gruppe, topologischer Raum, etc.) bekannt sein, um die konkreten Beispiele zu verstehen. Andererseits sind die Beispiele oftmals auch selbsterklärend.

Es lohnt sich übrigens, sich für die zweite Auflage zu entscheiden, weil dort einige wichtige Abschnitte ergänzt wurden.

Die Kategorientheorie, in ihren Geburtsstunden eher skeptisch von Mathematikern aufgenommen, ist heute aus verschiedenen Gebieten wie z.B. der theoretischen Informatik, der algebraischen Geometrie und der algebraischen Topologie nicht mehr wegzudenken. Ich empfehle den Mac Lane jedem, der sich in die Kategorientheorie einarbeiten möchte.


Hinzugefügt am: 2011-06-07
Kritiker: Martin_Infinite
Bewertung

Zugehöriger Link: Amazon-Link
Gelesen: 4219




Durchschnittsbewertung: 5 Bewertungen

Suchbegriffe : Kategorientheorie :: Algebra :: Algebraische Topologie :: Grundlagen :: Kategorien :: Lehrbücher :

Kommentar schreiben   Ein besseres Review schreiben

Weitere Kommentare:
Categories for the Working Mathematician
Bewertung von calabi-yau am 14.06.2011

calabi-yau schreibt:

Jo, ein sehr schönes Buch. DIE referenz zum Einstieg in die Kategorientheorie.


(Dieser Kommentar wurde zu dieser Besprechung geschrieben)

Categories for the Working Mathematician
Bewertung von Snake707 am 05.07.2011

Snake707 schreibt:

Ich kann dem uneingeschränkt zustimmen.  Es ist aber sehr sehr wichtig, sich vorher mit Grundlegen Dingen vertraut zu machen, wie topologische Räume und deren Konstruktion und einiges an Algebra (insbesondere die Konstruktionen), damit man auch die Beispiele versteht.  Außerdem glaube ich, dass man einiges an mathematischer Reife braucht.


(Dieser Kommentar wurde zu dieser Besprechung geschrieben)

Categories for the Working Mathematician
Bewertung von KidinK am 02.03.2014


(Dieser Kommentar wurde zu dieser Besprechung geschrieben)

Categories for the Working Mathematician
Bewertung von PhysikRabe am 31.12.2015


(Dieser Kommentar wurde zu dieser Besprechung geschrieben)

Neuer Kommentar zu:
Categories for the Working Mathematician


Benutzername: Anonymous [ Mitglied werden ]


Bewertung: 1=schlechteste, 10=beste Bewertung

Kommentar:

Bitte eine Wertung, einen Kommentar oder beides abgeben.

Autoren: A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z    
Themengruppen:
Titelsuche:  
[Schreibe eine Buchbesprechung]
[Ein Buch, das hier besprochen sein sollte]
[Fragen? -> Forum Bücher & Links]

[Zum Index der Buchbesprechungen]

 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2019 by Matroids Matheplanet
This web site was made with PHP-Nuke, a web portal system written in PHP. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]