Série géométriquethumb|Preuve sans mots de l'égalité1/2 + 1/4 + 1/8 + 1/16 + ⋯ = 1 thumb|Illustration de l'égalité 1/4 + 1/16 + 1/64 + 1/256 + ⋯ = 1/3 :chacun des carrés violets mesure 1/4 de la surface du grand carré le plus proche (1/2× = 1/4, 1/4×1/4 = 1/16, etc.). Par ailleurs, la somme des aires des carrés violets est égale à un tiers de la superficie du grand carré. En mathématiques, la série géométrique est l'un des exemples de série numérique les plus simples.
Équations de Maxwellvignette|Plaque représentant les équations de Maxwell au pied de la statue en hommage à James Clerk Maxwell d'Edimbourg. Les équations de Maxwell, aussi appelées équations de Maxwell-Lorentz, sont des lois fondamentales de la physique. Elles constituent, avec l'expression de la force électromagnétique de Lorentz, les postulats de base de l'électromagnétisme. Ces équations traduisent sous forme locale différents théorèmes (Gauss, Ampère, Faraday) qui régissaient l'électromagnétisme avant que Maxwell ne les réunisse sous forme d'équations intégrales.
Catégorie des modulesEn mathématiques, la catégorie des modules sur un monoïde R est une construction qui rend compte abstraitement des propriétés observées dans l'étude des modules sur un anneau, en les généralisant. L'étude de catégories de modules apparaît naturellement en théorie des représentations et en géométrie algébrique. Puisqu'un R-module est un espace vectoriel lorsque R est un corps commutatif, on peut dans un tel cas identifier la catégorie des modules sur R à la sur le corps R.
Monoïde (théorie des catégories)La notion de monoïde ou d’objet monoïdal en théorie des catégories généralise la notion algébrique du même nom ainsi que plusieurs autres structures algébriques courantes. Il s'agit formellement d'un objet d'une catégorie monoïdale vérifiant certaines propriétés réminiscentes de celles du monoïde algébrique. Soit une catégorie monoïdale. Un triplet où M est un objet de la catégorie C ; est un morphisme appelé « multiplication » ; est un morphisme appelé « unité » ; est appelé monoïde lorsque les diagrammes suivants commutent : avec l'associativité, l'identité à gauche et l'identité à droite de la catégorie monoïdale.
Compact closed categoryIn , a branch of mathematics, compact closed categories are a general context for treating dual objects. The idea of a dual object generalizes the more familiar concept of the dual of a finite-dimensional vector space. So, the motivating example of a compact closed category is FdVect, the having finite-dimensional vector spaces as s and linear maps as s, with tensor product as the structure. Another example is , the category having sets as objects and relations as morphisms, with .
Closed monoidal categoryIn mathematics, especially in , a closed monoidal category (or a monoidal closed category) is a that is both a and a in such a way that the structures are compatible. A classic example is the , Set, where the monoidal product of sets and is the usual cartesian product , and the internal Hom is the set of functions from to . A non- example is the , K-Vect, over a field . Here the monoidal product is the usual tensor product of vector spaces, and the internal Hom is the vector space of linear maps from one vector space to another.
Propriété universelleEn mathématiques, et plus précisément en théorie des catégories, une propriété universelle est la propriété des objets qui sont la solution d'un problème universel posé par un foncteur. De très nombreux objets classiques des mathématiques, comme la notion de produit cartésien, de groupe quotient, ou de compactifié, peuvent être définis comme des solutions de problèmes universels.
