Grfiche di Grfiche: Introduzione alla teoria delle categorie

Recensioni dei lettori

Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 4 voti.

Titolo originale:

Grficas De Grficas: Introduccin a Teora De Categoras

Contenuto del libro:

La teoria delle categorie è stata inventata da Samuel Eilenberg e Saunders MacLane nel 1945. Da allora il linguaggio della teoria delle categorie è stato utilizzato non solo nella matematica pura ma anche in altre discipline, tra cui l'informatica, un linguaggio concettuale fondamentale per le scienze interdisciplinari.

Questa teoria è considerata da molti un'alternativa migliore alla teoria degli insiemi come fondamento della matematica. Grazie a quanto detto sopra, la teoria degli insiemi ci permette di modellare situazioni che la teoria degli insiemi non consente. Da qui l'importanza del suo studio e della sua comprensione.

Nel 1963, F. William Lawvere affermò nella sua tesi di dottorato che la teoria degli insiemi è un caso particolare di teoria delle categorie.

Esiste una differenza fondamentale tra queste due categorie. Nella teoria degli insiemi, si parte dalle proprietà interne degli insiemi per conoscere le loro proprietà esterne.

Nella teoria delle categorie, l'obiettivo è conoscere le proprietà interne degli obiettivi a partire dalle loro proprietà esterne.