Note :
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 4 votes.
Grficas De Grficas: Introduccin a Teora De Categoras
La théorie des catégories a été inventée par Samuel Eilenberg et Saunders MacLane en 1945. Depuis lors, le langage de la théorie des catégories a été utilisé non seulement en mathématiques pures, mais aussi dans d'autres disciplines, y compris l'informatique, un langage conceptuel fondamental pour les sciences interdisciplinaires.
Cette théorie est considérée par beaucoup comme une meilleure alternative à la théorie des ensembles en tant que fondement des mathématiques. Grâce à ce qui précède, la théorie des ensembles nous permet de modéliser des situations que la théorie des ensembles ne permet pas. D'où l'importance de son étude et de sa compréhension.
En 1963, F. William Lawvere a déclaré dans sa thèse de doctorat que la théorie des ensembles est un cas particulier de la théorie des catégories.
Il existe une différence fondamentale entre ces deux catégories. Dans la théorie des ensembles, nous partons des propriétés internes des ensembles pour connaître leurs propriétés externes.
Dans la théorie des catégories, l'objectif est de connaître les propriétés internes des cibles à partir de leurs propriétés externes.
© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)