Limite (théorie des catégories)La notion de limite est une construction catégorique abstraite, qui rend compte d'objets tels que les produits, les produits fibrés et les limites projectives. La construction duale, la colimite, rend compte entre autres des coproduits, sommes amalgamées et limites inductives. Dans certains cas, cette notion coïncide avec la limite au sens de l'analyse. Soit une catégorie. On considère un diagramme dans , traduit par un foncteur . Dans de nombreux cas, on considère une petite catégorie, voire finie, et on parle respectivement de petit diagramme ou de diagramme fini.
Théorie des ensemblesLa théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du . La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes... C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un « paradis » créé par Cantor pour les mathématiciens.
Théorie naïve des ensemblesLes ensembles sont d'une importance fondamentale en mathématiques ; en fait, de manière formelle, la mécanique interne des mathématiques (nombres, relations, fonctions, etc.) peut se définir en termes d'ensembles. Il y a plusieurs façons de développer la théorie des ensembles et plusieurs théories des ensembles existent. Par théorie naïve des ensembles, on entend le plus souvent un développement informel d'une théorie des ensembles dans le langage usuel des mathématiques, mais fondée sur les axiomes de la théorie des ensembles de Zermelo ou de Zermelo-Fraenkel avec axiome du choix dans le style du livre Naive Set Theory de Paul Halmos.
Produit fibréEn mathématiques, le produit fibré est une opération entre deux ensembles munis tous deux d'une application vers un même troisième ensemble. Sa définition s'étend à certaines catégories en satisfaisant une propriété universelle de factorisation de diagrammes, en dualité avec la somme amalgamée. Le produit fibré est utilisé notamment en géométrie algébrique pour définir le produit de deux schémas, ou en topologie algébrique pour construire, à partir d'un espace fibré (tel un revêtement), un autre espace de même fibre, le , en remontant le long d'une application entre les deux bases, d'où l'appellation en anglais pullback (« tiré en arrière ») parfois utilisée en français.
Théorie des catégoriesLa théorie des catégories est l'étude des structures mathématiques et de leurs relations. Ce domaine est né du constat de l'abondance de caractéristiques partagées par diverses classes liées à des structures mathématiques. Les catégories sont utilisées dans la plupart des branches mathématiques et dans certains secteurs de l'informatique théorique et en mathématiques de la physique. Elles forment une notion unificatrice.
Afficher plus