Limite inductiveEn mathématiques, et plus particulièrement en théorie des catégories et en algèbre universelle, la notion de limite inductive généralise à des structures la notion classique de limite issue de l'analyse. La limite inductive est un cas particulier de colimite en théorie des catégories. Comme sa duale, la limite projective, elle est conceptuellement très proche de la notion de limite rencontrée en analyse et coïncide avec elle dans certains cas. Un premier point clef est la notion de passage à la limite.
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.
Propriété topologiqueEn topologie et dans les domaines connexes des mathématiques, une propriété topologique (ou invariant topologique) est une propriété sur un espace topologique qui reste invariant sous l'application d'homéomorphismes. C'est-à-dire que chaque fois qu'un espace topologique X possède cette propriété, chaque espace homéomorphe à X possède également cette propriété. De manière informelle, une propriété topologique est une propriété qui peut entièrement être exprimée à l'aide d'ensemble ouverts.
Disjoint union (topology)In general topology and related areas of mathematics, the disjoint union (also called the direct sum, free union, free sum, topological sum, or coproduct) of a family of topological spaces is a space formed by equipping the disjoint union of the underlying sets with a natural topology called the disjoint union topology. Roughly speaking, in the disjoint union the given spaces are considered as part of a single new space where each looks as it would alone and they are isolated from each other.
Topologie finaleEn mathématiques et plus précisément en topologie, la topologie finale, sur un ensemble d'arrivée commun à une famille d'applications définies chacune sur un espace topologique, est la topologie la plus fine pour laquelle toutes ces applications sont continues. La notion duale est celle de topologie initiale. Soient X un ensemble, (Y) une famille d'espaces topologiques et pour chaque indice i ∈ I, une application f : Y → X. La topologie finale sur X associée à la famille (f) est la plus fine des topologies sur X pour lesquelles chaque f est continue.
Espace compactement engendréEn mathématiques, un espace topologique est dit compactement engendré si c'est un k-espace faiblement Hausdorff. Cette notion intervient en théorie de l'homotopie, dans l'étude des CW-complexes. Un espace X est : un k-espace si toute partie « compactement fermée » de X est fermée (une partie F de X est dite compactement fermée si pour toute application continue f d'un compact K dans X, est fermé dans K) ; faiblement Hausdorff si toute application continue d'un compact dans X est fermée.
Limite projectiveEn mathématiques, dans la formalisation du langage des catégories, la limite projective est une généralisation du produit. Cette notion est duale de celle de limite inductive. Soient un ensemble ordonné, une famille d'ensembles indexée par , et pour chaque couple tel que , une application . On suppose que ces applications vérifient les deux propriétés suivantes : Une telle structure est appelée système projectif d'ensembles.
Homotopy categoryIn mathematics, the homotopy category is a built from the category of topological spaces which in a sense identifies two spaces that have the same shape. The phrase is in fact used for two different (but related) categories, as discussed below. More generally, instead of starting with the category of topological spaces, one may start with any and define its associated homotopy category, with a construction introduced by Quillen in 1967. In this way, homotopy theory can be applied to many other categories in geometry and algebra.
Objet exponentielEn mathématiques, et plus particulièrement en théorie des catégories, un objet exponentiel est un équivalent catégorique à un espace fonctionnel en théorie des ensembles. Les catégories avec tous les produits finis et tous les objets exponentiels sont appelées catégories cartésiennes fermées. Un objet exponentiel peut aussi être appelé un objet puissance ou objet des morphismes. Soit C une catégorie avec produits et soient Y et Z des objets de C. L'objet exponentiel ZY peut être défini comme un morphisme universel du foncteur –×Y à Z.
Somme amalgaméevignette|Diagramme commutatif traduisant la propriété universelle de la somme amalgamée. En mathématiques, la somme amalgamée est une opération entre deux ensembles constituant les espaces d'arrivée de deux applications définies sur un même troisième ensemble. Le résultat satisfait une propriété universelle de factorisation de diagrammes, duale de celle du produit fibré et qui peut être valable dans d'autres catégories que celle des ensembles, comme celle des groupes.
