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.
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.
Géométrie algébriqueLa géométrie algébrique est un domaine des mathématiques qui, historiquement, s'est d'abord intéressé à des objets géométriques (courbes, surfaces...) composés des points dont les coordonnées vérifiaient des équations ne faisant intervenir que des sommes et des produits (par exemple le cercle unité dans le plan rapporté à un repère orthonormé admet pour équation ). La simplicité de cette définition fait qu'elle embrasse un grand nombre d'objets et qu'elle permet de développer une théorie riche.
Extension algébriqueEn mathématiques et plus particulièrement en algèbre, une extension algébrique L sur un corps K est une extension de corps dans laquelle tous les éléments sont algébriques sur K c’est-à-dire sont racines d'un polynôme non nul à coefficients dans K. Dans le cas contraire, l'extension est dite transcendante. Cette approche permet dans un premier temps de pallier les insuffisances de certains corps, par exemple celui des nombres réels quant aux solutions des équations polynomiales.
Courbe algébriqueEn mathématiques, et plus précisément en géométrie algébrique, une courbe algébrique est une variété algébrique (ou un schéma de type fini) sur un corps, dont les composantes irréductibles sont de dimension 1. Cette définition est la généralisation moderne de celle des courbes algébriques classiques, telles que les coniques, définies, dans le cas des courbes planes, comme l'ensemble des points solutions d'une équation polynomiale. Sous sa forme la plus générale, une courbe algébrique sur un corps est une variété algébrique de dimension 1 sur , séparée pour éviter des pathologies.
Free will in theologyFree will in theology is an important part of the debate on free will in general. Religions vary greatly in their response to the standard argument against free will and thus might appeal to any number of responses to the paradox of free will, the claim that omniscience and free will are incompatible. Argument from free will The theological doctrine of divine foreknowledge is often alleged to be in conflict with free will, particularly in Calvinistic circles: if God knows exactly what will happen (right down to every choice a person makes), it would seem that the "freedom" of these choices is called into question.
Moyenne géométriqueEn mathématiques, la moyenne géométrique est un type de moyenne. La moyenne géométrique de deux nombres positifs a et b est le nombre positif c tel que : Cette égalité étant une proportion, ceci justifie l'autre appellation « moyenne proportionnelle » de la moyenne géométrique. vignette|La moyenne géométrique des côtés d'un rectangle est donnée par un carré de même aire. Elle est construite par un cercle tangent aux deux cercles définis par les côtés du rectangle et les séparant.
Onduleur solaireUn onduleur solaire (parfois commercialisé sous le nom de variateur solaire, convertisseur solaire ou onduleur photovoltaïque) est un onduleur convertissant le courant continu de l'énergie photovoltaïque issue d'un panneau solaire en courant alternatif. Il existe 3 types d'onduleurs solaires : Les onduleurs autonomes ou offgrid ou ongrid Les onduleurs hybrides Maximum power point tracker Les onduleurs solaires utilisent la technique du maximum power point tracker.
Famille nucléairevignette|Un couple et des enfants : la famille nucléaire Une famille nucléaire est une forme de structure familiale fondée sur la notion de couple, soit un « ensemble de deux personnes liées par une volonté de former une communauté matérielle et affective, potentiellement concrétisée par une relation sexuelle conforme à la loi ». La famille nucléaire correspond donc à une famille regroupant deux adultes mariés ou non avec ou sans enfant. Cette structure familiale se distingue de la famille élargie et de la famille polygame.
Distance (mathématiques)En mathématiques, une distance est une application qui formalise l'idée intuitive de distance, c'est-à-dire la longueur qui sépare deux points. C'est par l'analyse des principales propriétés de la distance usuelle que Fréchet introduit la notion d'espace métrique, développée ensuite par Hausdorff. Elle introduit un langage géométrique dans de nombreuses questions d'analyse et de théorie des nombres.
Famillevignette|Le repas familial (gravure sur bois, ). vignette|La famille de Philippe V d'Espagne (en 1723). vignette|Le portrait de famille est une des formes picturales répandues d'abord dans les familles nobles puis chez les familles bourgeoises (ici la famille Souchay vers 1805). vignette|Un peu de conversation, huile sur toile de Lilly Martin Spencer, vers 1851-1852 vignette|Peinture à l'huile de Jean de Francqueville intitulée . thumb|Portrait d'un chef camerounais et de sa famille (entre 1910 et 1930).
Corps de nombresEn mathématiques, un corps de nombres algébriques (ou simplement corps de nombres) est une extension finie K du corps Q des nombres rationnels. En particulier, c'est une extension algébrique : tous les éléments de K sont des nombres algébriques, dont le degré divise le degré de l'extension. C'est aussi une extension séparable car Q est de caractéristique nulle donc parfait. Tout sous-corps de C engendré par un nombre fini de nombres algébriques est un corps de nombres.
