Titre original :
Category Theory
Contenu du livre :
Ce livre analyse la génération des catégories-flèches d'une catégorie donnée, qui est un phénomène fondamental et distinctif de la théorie des catégories, en analogie avec le rôle fondamental des ensembles dans les mathématiques traditionnelles basées sur les ensembles, pour la définition des nombres naturels également.
Cette transformation inductive d'une catégorie dans la hiérarchie infinie des catégories fléchies est étendue aux foncteurs et aux transformations naturelles. L'auteur considère les propriétés catégorielles invariantes (les symétries) sous de telles transformations inductives.
Le livre se concentre en particulier sur la symétrie globale (invariance des adjonctions) et les symétries internes entre les flèches et les objets dans une catégorie (en analogie avec les théories des champs comme la mécanique quantique et la relativité générale). La deuxième partie du livre est consacrée à des applications plus avancées de la symétrie interne à l'informatique : pour la logique intuitionniste, le calcul lambda non typé avec les opérateurs de point fixe, les systèmes de transition étiquetés dans les algèbres de processus et les logiques modales, ainsi que la théorie de l'intégration des données.
Autres informations sur le livre :
| ISBN : | 9783111080567 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Relié |
Achat:
Actuellement disponible, en stock.
