Bewertung:

Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 4 Stimmen.
Grficas De Grficas: Introduccin a Teora De Categoras
Die Kategorientheorie wurde 1945 von Samuel Eilenberg und Saunders MacLane erfunden. Seitdem wird die Sprache der Kategorientheorie nicht nur in der reinen Mathematik, sondern auch in anderen Disziplinen, einschließlich der Informatik, als grundlegende konzeptionelle Sprache für interdisziplinäre Wissenschaften verwendet.
Diese Theorie wird von vielen als eine bessere Alternative zur Mengenlehre als Grundlage der Mathematik angesehen. Dank der obigen Ausführungen können wir mit der Mengenlehre Situationen modellieren, die die Mengenlehre nicht abbilden kann. Daher ist es so wichtig, sie zu studieren und zu verstehen.
1963 stellte F. William Lawvere in seiner Dissertation fest, dass die Mengenlehre ein Sonderfall der Kategorientheorie ist.
Es gibt einen grundlegenden Unterschied zwischen diesen beiden Kategorien. In der Mengenlehre geht man von den internen Eigenschaften der Mengen aus, um ihre externen Eigenschaften zu kennen.
In der Kategorientheorie besteht das Ziel darin, die internen Eigenschaften von Zielen anhand ihrer externen Eigenschaften zu erkennen.