Rédaction n°301. Formalisation des classes et catégories, par D. Lacombe.

Résumé 0

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.