Grficas De Grficas: Wprowadzenie do teorii kategorii

Opinie czytelników

Obecnie brak opinii czytelników. Ocena opiera się na 4 głosach.

Oryginalny tytuł:

Grficas De Grficas: Introduccin a Teora De Categoras

Zawartość książki:

Teoria kategorii została wynaleziona przez Samuela Eilenberga i Saundersa MacLane'a w 1945 roku. Od tego czasu język teorii kategorii jest używany nie tylko w czystej matematyce, ale także w innych dyscyplinach, w tym w informatyce, jako podstawowy język pojęciowy dla nauk interdyscyplinarnych.

Teoria ta jest uważana przez wielu za lepszą alternatywę dla teorii mnogości jako podstawy matematyki. Dzięki temu teoria zbiorów pozwala nam modelować sytuacje, których teoria zbiorów nie modeluje. Stąd znaczenie jej badania i zrozumienia.

W 1963 roku F. William Lawvere stwierdził w swojej pracy doktorskiej, że teoria mnogości jest szczególnym przypadkiem teorii kategorii.

Istnieje zasadnicza różnica między tymi dwiema kategoriami. W teorii zbiorów zaczynamy od wewnętrznych właściwości zbiorów, aby poznać ich właściwości zewnętrzne.

W teorii kategorii celem jest poznanie wewnętrznych właściwości obiektów na podstawie ich właściwości zewnętrznych.