Tensor-hom adjunctionIn mathematics, the tensor-hom adjunction is that the tensor product and hom-functor form an adjoint pair: This is made more precise below. The order of terms in the phrase "tensor-hom adjunction" reflects their relationship: tensor is the left adjoint, while hom is the right adjoint. Say R and S are (possibly noncommutative) rings, and consider the right module categories (an analogous statement holds for left modules): Fix an -bimodule and define functors and as follows: Then is left adjoint to .
Abstract simplicial complexIn combinatorics, an abstract simplicial complex (ASC), often called an abstract complex or just a complex, is a family of sets that is closed under taking subsets, i.e., every subset of a set in the family is also in the family. It is a purely combinatorial description of the geometric notion of a simplicial complex. For example, in a 2-dimensional simplicial complex, the sets in the family are the triangles (sets of size 3), their edges (sets of size 2), and their vertices (sets of size 1).
Foncteur plein et fidèleEn théorie des catégories, un foncteur plein (respectivement fidèle) est un foncteur dont la restriction à chacun des ensembles de morphismes est surjectif (respectivement injectif). Soient C et D deux catégories et F : C → D un foncteur de C dans D. Pour X et Y des objets de C, le foncteur F induit une fonction Le foncteur F est dit : fidèle si pour tout X, Y dans C, FX, Y est injective ; plein si pour tout X, Y dans C, FX, Y est surjective ; pleinement fidèle si pour tout X, Y dans C, FX, Y est bijective.
Foncteur dérivéEn mathématiques, certains foncteurs peuvent être dérivés pour obtenir de nouveaux foncteurs liés de manière naturelle par des morphismes à ceux de départs. Cette notion abstraite permet d'unifier des constructions concrètes intervenant dans de nombreux domaines des mathématiques. Elle n'est pas liée à la notion de dérivation en analyse. La notion de foncteur dérivé est conçue pour donner un cadre général aux situations où une suite exacte courte donne naissance à une suite exacte longue.
Catégorie des espaces topologiquesEn mathématiques, la catégorie des espaces topologiques est une construction qui rend compte abstraitement des propriétés générales observées dans l'étude des espaces topologiques. Ce n'est pas la seule catégorie qui possède les espaces topologiques comme objet, et ses propriétés générales sont trop faibles ; cela motive la recherche de « meilleures » catégories d'espaces. C'est un exemple de catégorie topologique.
Topos (mathématiques)En mathématiques, un topos (au pluriel topos ou topoï) est un type particulier de catégorie. La théorie des topoï est polyvalente et est utilisée dans des domaines aussi variés que la logique, la topologie ou la géométrie algébrique. Un topos peut être défini comme une catégorie pourvue : de limites et colimites finies ; d'exponentielles ; d'un . D'autres définitions équivalentes sont données plus bas.
SimplexeEn mathématiques, et plus particulièrement en géométrie, un simplexe est une généralisation du triangle à une dimension quelconque. En géométrie, un simplexe ou n-simplexe est l'analogue à n dimensions du triangle. Il doit son nom au fait que c'est l'objet géométrique clos le « plus simple » qui ait n dimensions. Par exemple sur une droite (1 dimension) l'objet le plus simple à 1 dimension est le segment, alors que dans le plan (2 dimensions) l'objet géométrique clos le plus simple à 2 dimensions est le triangle, et dans l'espace (3 dimensions) l'objet géométrique clos le plus simple à 3 dimensions est le tétraèdre (pyramide à base triangulaire).
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.
Triangulation (topology)In mathematics, triangulation describes the replacement of topological spaces by piecewise linear spaces, i.e. the choice of a homeomorphism in a suitable simplicial complex. Spaces being homeomorphic to a simplicial complex are called triangulable. Triangulation has various uses in different branches of mathematics, for instance in algebraic topology, in complex analysis or in modeling.
