Théorie des ensembles de ZermeloLa théorie des ensembles de Zermelo, est la théorie des ensembles introduite en 1908 par Ernst Zermelo dans un article fondateur de l'axiomatisation de la théorie des ensembles moderne, mais aussi une présentation moderne de celle-ci, où les axiomes sont repris dans le langage de la logique du premier ordre, et où l'axiome de l'infini est modifié pour permettre la construction des entiers naturels de von Neumann. Cette section présente les axiomes originaux de l'article de Zermelo paru en 1908, numérotés comme dans cet article.
Catégorie complèteEn mathématiques, une catégorie complète est une catégorie dans laquelle toutes les petites limites existent. Autrement dit, une catégorie C est complète si tout diagramme F : J → C (où J est petite) a une limite dans C. Duallement, une catégorie cocomplète est une catégorie dans laquelle toutes les petites colimites existent. Une catégorie bicomplète est une catégorie à la fois complète et cocomplète. L'existence de toutes les limites (même lorsque J est une classe propre) est trop forte pour être pertinente en pratique.
Catégorie de foncteursUne catégorie de foncteurs ou catégorie des foncteurs entre deux catégories est une catégorie dont les objets sont les foncteurs entre ces catégories, et les morphismes sont les transformations naturelles entre ces foncteurs. Soient et des catégories. On définit la catégorie de foncteurs de dans , notée , ou parfois ou : Les objets de sont les foncteurs de dans ; Les morphismes sont les transformations naturelles. Il existe, pour tout objet F, un morphisme correspondant à l'identité incarné par le foncteur .
Foncteur HomEn mathématiques, le foncteur Hom est un foncteur associé aux morphismes de la catégorie des ensembles. Il est central en théorie des catégories, notamment du fait de son rôle dans le lemme de Yoneda et parce qu'il permet de définir le foncteur Ext. Soit une catégorie localement petite. Pour tout couple d'objets A et B dans cette catégorie, un morphisme induit une fonction pour tout objet X.
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.
Foncteur ExtLes foncteurs Ext sont les foncteurs dérivés du foncteur Hom. Ils sont d'abord apparus en algèbre homologique, où ils jouent un rôle central par exemple dans le théorème des coefficients universels, mais interviennent aujourd'hui dans de nombreuses branches différentes des mathématiques. Ce foncteur apparaît originellement dans l'étude des extensions de modules, d'où il tire son nom. Soit A une catégorie abélienne. D'après le théorème de plongement de Mitchell, on peut toujours imaginer travailler avec une catégorie de modules.
Index setIn mathematics, an index set is a set whose members label (or index) members of another set. For instance, if the elements of a set A may be indexed or labeled by means of the elements of a set J, then J is an index set. The indexing consists of a surjective function from J onto A, and the indexed collection is typically called an indexed family, often written as {Aj}j∈J. An enumeration of a set S gives an index set , where f : J → S is the particular enumeration of S.
Constructive set theoryAxiomatic constructive set theory is an approach to mathematical constructivism following the program of axiomatic set theory. The same first-order language with "" and "" of classical set theory is usually used, so this is not to be confused with a constructive types approach. On the other hand, some constructive theories are indeed motivated by their interpretability in type theories. In addition to rejecting the principle of excluded middle (), constructive set theories often require some logical quantifiers in their axioms to be set bounded, motivated by results tied to impredicativity.
Théorie des ensembles de Zermelo-Fraenkelvignette|L'appartenance En mathématiques, la théorie des ensembles de Zermelo-Fraenkel, abrégée en ZF, est une axiomatisation en logique du premier ordre de la théorie des ensembles telle qu'elle avait été développée dans le dernier quart du par Georg Cantor. L'axiomatisation a été élaborée au début du par plusieurs mathématiciens dont Ernst Zermelo et Abraham Fraenkel mais aussi Thoralf Skolem.
Foncteur représentableOn rencontre en mathématiques de nombreuses propriétés universelles. Le formalisme des catégories permet d'exprimer ces propriétés de façon très simple. Soit une catégorie localement petite et F un foncteur contravariant, respectivement covariant, de dans Ens (catégorie des ensembles). On dit que F est représentable s'il existe un objet X de tel que F soit isomorphe au foncteur , respectivement au foncteur . Les transformations naturelles de dans F correspondent bijectivement aux éléments de .
Produit (catégorie)Dans une catégorie, le produit d'une famille d'objets est sa limite, lorsqu'elle existe. Il est donc caractérisé par une propriété universelle ou de manière équivalente comme foncteur représentable. Soit une catégorie et une famille d'objets de . On cherche un couple , où X soit un objet de et une famille de morphismes , tel que pour tout objet Y de et pour toute famille de morphismes , il existe un unique morphisme tel que pour tout indice i, on ait . Si un tel couple existe, on dit que c'est un produit des .
Intersection (mathématiques)Dans la théorie des ensembles, l'intersection est une opération ensembliste qui porte le même nom que son résultat, à savoir l'ensemble des éléments appartenant à la fois aux deux opérandes : l'intersection de deux ensembles A et B est l'ensemble, noté , dit « A inter B », qui contient tous les éléments appartenant à la fois à A et à B, et seulement ceux-là. A et B sont disjoints si et seulement si est l'ensemble vide ∅. A est inclus dans B si et seulement si .
