Théorie des catégoriesLa théorie des catégories est l'étude des structures mathématiques et de leurs relations. Ce domaine est né du constat de l'abondance de caractéristiques partagées par diverses classes liées à des structures mathématiques. Les catégories sont utilisées dans la plupart des branches mathématiques et dans certains secteurs de l'informatique théorique et en mathématiques de la physique. Elles forment une notion unificatrice.
Monade (théorie des catégories)Une monade est une construction catégorique qui mime formellement le comportement que les monoïdes ont en algèbre. Introduite par Roger Godement sous le nom de « construction standard », la notion est d'abord diffusée sous le nom de triple avant d'être baptisée monade par Jean Bénabou. Elles permettent notamment de formuler des adjonctions et ont (au travers des comonades) un rôle important en géométrie algébrique, notamment en théorie des topos. Elles permettent également de définir les , dont les .
Orbitevignette|La Station spatiale internationale en orbite au-dessus de la Terre. En mécanique céleste et en mécanique spatiale, une orbite () est la courbe fermée représentant la trajectoire que dessine, dans l'espace, un objet céleste sous l'effet de la gravitation et de forces d'inertie. Une orbite est ainsi la courbe tracée par une trajectoire périodique. Dans le Système solaire, la Terre, les autres planètes, les astéroïdes et les comètes sont en orbite autour du Soleil.
Category (mathematics)In mathematics, a category (sometimes called an abstract category to distinguish it from a ) is a collection of "objects" that are linked by "arrows". A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A simple example is the , whose objects are sets and whose arrows are functions. is a branch of mathematics that seeks to generalize all of mathematics in terms of categories, independent of what their objects and arrows represent.
Section (théorie des catégories)vignette|Ici, g est une section de f, et f est une rétraction de g. Dans le domaine mathématique de la théorie des catégories, si on a un couple de morphismes , tel que (le morphisme identité de Y, souvent réalisé par l'application identité sur Y), on dit que g est une section de f, et que f est une rétraction de g. En d'autres termes, une section est un inverse à droite, et une rétraction est un inverse à gauche (ce sont deux notions duales).
Théorie des groupesvignette|Le Rubik's cube illustre la notion de groupes de permutations. Voir groupe du Rubik's Cube. La théorie des groupes est en mathématique, plus précisément en algèbre générale, la discipline qui étudie les structures algébriques appelées groupes. Le développement de la théorie des groupes est issu de la théorie des nombres, de la théorie des équations algébriques et de la géométrie. La théorie des groupes est étroitement liée à la théorie des représentations.
Dual (category theory)In , a branch of mathematics, duality is a correspondence between the properties of a category C and the dual properties of the Cop. Given a statement regarding the category C, by interchanging the source and target of each morphism as well as interchanging the order of composing two morphisms, a corresponding dual statement is obtained regarding the opposite category Cop. Duality, as such, is the assertion that truth is invariant under this operation on statements.
Catégorie des ensemblesEn mathématiques, plus précisément en théorie des catégories, la catégorie des ensembles, notée Set ou Ens, est la catégorie dont les objets sont les ensembles, et dont les morphismes sont les applications d'un ensemble dans un autre. Sa définition est motivée par le fait qu'en théorie des ensembles usuelle, il n'existe pas d'« ensemble de tous les ensembles », car l'existence d'un tel objet résulterait en une contradiction logique : le paradoxe de Russell.
Foncteur adjointL'adjonction est une situation omniprésente en mathématiques, et formalisée en théorie des catégories par la notion de foncteurs adjoints. Une adjonction entre deux catégories et est une paire de deux foncteurs et vérifiant que, pour tout objet X dans C et Y dans D, il existe une bijection entre les ensembles de morphismes correspondants et la famille de bijections est naturelle en X et Y. On dit que F et G sont des foncteurs adjoints et plus précisément, que F est « adjoint à gauche de G » ou que G est « adjoint à droite de F ».
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 .
Théorie des catégories supérieuresEn mathématiques, la théorie des catégories supérieures est la partie de la théorie des catégories à un ordre supérieur, ce qui signifie que certaines égalités sont remplacées par des flèches explicites afin de pouvoir étudier explicitement la structure derrière ces égalités. La théorie des catégories supérieures est souvent appliquée en topologie algébrique (en particulier en théorie de l'homotopie ), où l'on étudie les invariants algébriques des espaces, tels que leur ∞-groupoïde fondamental faible.
Orbite en fer à chevalvignette|droite| L'orbite en fer à cheval d'un objet céleste est la trajectoire apparente que semble décrire cet objet lorsqu'il est observé depuis un autre corps céleste avec lequel il coorbite. Soit deux objets secondaires B et C, en révolution autour d'un même objet primaire A, selon un mouvement coorbital. Lorsque C est situé à proximité du , ou du système A-B, l'orbite de C autour de A semble décrire, lorsqu'elle est observée depuis B, un fer à cheval.
Théorie géométrique des groupesLa théorie géométrique des groupes est un domaine des mathématiques pour l'étude des groupes de type fini à travers les connexions entre les propriétés algébriques de ces groupes et les propriétés topologiques et géométriques des espaces sur lesquels ils opèrent. Les groupes sont vus comme des ensembles de symétries ou d'applications continues sur ces espaces. Une autre idée importante de la théorie géométrique des groupes est de considérer les groupes de type fini eux-mêmes comme des objets géométriques, généralement via le graphe de Cayley du groupe étudié.
Orbite de rebutNOTOC Une orbite de rebut, parfois appelée orbite-poubelle ou orbite cimetière dans le domaine de l'astronautique, est l'orbite sur laquelle est transféré un satellite en fin de vie active. Les termes correspondants en anglais sont graveyard orbit, et disposal orbit. Les satellites de télécommunication, en orbite géostationnaire, utilisent le reliquat du carburant destiné à les maintenir en poste pour rejoindre leur orbite de rebut qui est supérieure (de 230 kilomètres) à leur orbite nominale.
Groupe (mathématiques)vignette|Les manipulations possibles du Rubik's Cube forment un groupe. En mathématiques, un groupe est une des structures algébriques fondamentales de l'algèbre générale. C'est un ensemble muni d'une loi de composition interne associative admettant un élément neutre et, pour chaque élément de l'ensemble, un élément symétrique. La structure de groupe est commune à de nombreux ensembles de nombres — par exemple les nombres entiers relatifs, munis de la loi d'addition.
Mécanique spatialeLa mécanique spatiale, aussi dénommée astrodynamique, est, dans le domaine de l'astronomie et de l'astronautique, la science qui a trait à l'étude des mouvements. C'est une branche particulière de la mécanique céleste qui a notamment pour but de prévoir les trajectoires des objets spatiaux tels que les fusées ou les engins spatiaux y compris les manœuvres orbitales, les changements de plan d'orbite et les transferts interplanétaires.
Point fixeEn mathématiques, pour une application f d'un ensemble E dans lui-même, un élément x de E est un point fixe de f si f(x) = x. Exemples : dans le plan, la symétrie par rapport à un point A admet un unique point fixe : A ; l'application inverse (définie sur l'ensemble des réels non nuls) admet deux points fixes : –1 et 1, solutions de l'équation équivalente à l'équation . Graphiquement, les points fixes d'une fonction f (d'une variable réelle, à valeurs réelles) sont les points d'intersection de la droite d'équation y = x avec la courbe d'équation y = f(x).
Orbite héliocentriqueUne orbite héliocentrique est une orbite autour du Soleil. Plus précisément, un objet naturel ou manufacturé est dit « en [ou sur une] orbite héliocentrique » si sa trajectoire est, en première approximation, une conique (en général une ellipse) dont un foyer est le Soleil, sans que cet objet tourne autour d'un autre corps plus proche. Le périapside d'une orbite héliocentrique est appelée le périhélie, et son apoapside l'aphélie.
Fixed-point iterationIn numerical analysis, fixed-point iteration is a method of computing fixed points of a function. More specifically, given a function defined on the real numbers with real values and given a point in the domain of , the fixed-point iteration is which gives rise to the sequence of iterated function applications which is hoped to converge to a point . If is continuous, then one can prove that the obtained is a fixed point of , i.e., More generally, the function can be defined on any metric space with values in that same space.
Excentricité orbitaleL’excentricité orbitale définit, en mécanique céleste et en mécanique spatiale, la forme des orbites des objets célestes. L'excentricité est couramment notée . Elle exprime l'écart de forme entre l'orbite et le cercle parfait dont l'excentricité est nulle. Lorsque , la trajectoire est fermée : l'orbite est périodique. Dans ce cas : lorsque , l'objet décrit un cercle et son orbite est dite circulaire ; lorsque , l'objet décrit une ellipse et son orbite est dite elliptique. Lorsque , la trajectoire est ouverte.
