Relations
Ce contenu n'a pas de relations.
Citer ce document :
Rédaction n°301. Formalisation des classes et catégories, par D. Lacombe. . Lacombe, Daniel, 301_PCR_003, accès le 26/06/2024, https://archives-bourbaki.ahp-numerique.fr/items/show/869
Description
I. Introduction. § 1. Les schémas de théorèmes, d'axiomes, de relations. § 2. Forme générale des schémas de relations - opérateurs logiques. § 3. Considérations d'effectivité. § Possibilité de remplacer les schémas de théorèmes (d'axiomes) par des théorèmes (axiomes d'un autre système formel). § 5. Non-utilisation de la notion de "classe de classes" dans la théorie des foncteurs. § 6. Utilisation éventuelle d'autres systèmes formels. § 7. Définition pratique des opérateurs logiques.II. Classes et catégories. § 1. Conventions préalables. § 2. Définition des classes. § 3. Opérations sur les classes. § 4. Définition des catégories. § 5. Réduction d'une proposition de la théorie des foncteurs à un schéma de théorèmes. § 6. Définition des hyperfonctions. § 7. Représentation d'une catégorie comme catégorie de foncteurs.