Ressourcen zum Erlernen der Kategorientheorie aus der Perspektive der Logik

Ich habe einen Blick auf einige frei verfügbare Online-Skripte der Kategorientheorie geworfen, aber ich vermute, dass ich schnell stecken bleiben würde, da viele Beispiele einige Kenntnisse in Algebra voraussetzen, die ich nicht habe. Ich interessiere mich hauptsächlich für die Kategorientheorie wegen ihrer grundlegenden Rolle in der Logik, daher denke ich, dass ein Buch / Skript, das von diesem Standpunkt aus geschrieben wird, für mich von Vorteil wäre. Ich würde es besonders schätzen, wenn das Material kostenlos wäre, da ich nicht sehr reich bin. (Obwohl dies Sie nicht davon abhalten sollte, auch unfreie Ressourcen zu empfehlen.)

Vielen Dank. :)

Kennen Sie bereits etwas Kategorientheorie oder suchen Sie einen Text, der die Grundlagen der Kategorientheorie aus einer logischen Perspektive vermittelt?
@IttayWeiss Ich weiß genau nichts über Kategorietheorie. Ich habe mich dafür interessiert, weil ich gehört habe, dass es tief mit Logik verbunden ist, und Logik ist meine Liebe. ♡

Antworten (1)

Ich habe kürzlich Goldblatt, TOPOI, The Categorical Analysis of Logic, Dover-Veröffentlichungen gekauft.

Es könnte Sie interessieren. Ich habe es über Amazon bekommen.

Dover-Veröffentlichungen sind großartig! Ich liebe ihre Philosophie
Haben Sie es gelesen und können für seine Qualität bürgen?
@Godbless: Es ist ausgezeichnet (zumindest soweit ich gelesen habe). Und Sie können dies selbst überprüfen, da es kostenlos verfügbar ist: projecteuclid.org/ebooks/books-by-independent-authors/…
+1 für Golblatt Topoi. Du wirst es mögen.
Ressourcen zum Erlernen der Kategorientheorie aus der Perspektive der Logik
AntwortenHierDatenschutz-Bestimmungen1y, 0v