Quillen adjunctionIn homotopy theory, a branch of mathematics, a Quillen adjunction between two C and D is a special kind of adjunction between that induces an adjunction between the Ho(C) and Ho(D) via the total derived functor construction. Quillen adjunctions are named in honor of the mathematician Daniel Quillen. Given two closed model categories C and D, a Quillen adjunction is a pair (F, G): C D of adjoint functors with F left adjoint to G such that F preserves cofibrations and trivial cofibrations or, equivalently by the closed model axioms, such that G preserves fibrations and trivial fibrations.
Derived algebraic geometryDerived algebraic geometry is a branch of mathematics that generalizes algebraic geometry to a situation where commutative rings, which provide local charts, are replaced by either differential graded algebras (over ), simplicial commutative rings or -ring spectra from algebraic topology, whose higher homotopy groups account for the non-discreteness (e.g., Tor) of the structure sheaf. Grothendieck's scheme theory allows the structure sheaf to carry nilpotent elements.
Bien (philosophie)vignette|La Bonté (1839). Plâtre (Surmoulage) au musée François Rude de Dijon. Le Bien est, avec l'Un et le Vrai, l'un des trois transcendantaux de la Scolastique ; il est surtout de nos jours la valeur normative de la morale, avec comme opposé le Mal. La détermination de ce qui est bien ou mal, à distinguer de ce qui fait du bien, de ce qui fait mal, peut se faire dans le cadre des règles de civilité, de l'honneur, de l'utilité collective, de l'intérêt public, ou au contraire particulier.
K-equivalenceIn mathematics, -equivalence, or contact equivalence, is an equivalence relation between map germs. It was introduced by John Mather in his seminal work in Singularity theory in the 1960s as a technical tool for studying stable maps. Since then it has proved important in its own right. Roughly speaking, two map germs ƒ, g are -equivalent if ƒ−1(0) and g−1(0) are diffeomorphic. Two map germs are -equivalent if there is a diffeomorphism of the form Ψ(x,y) = (φ(x),ψ(x,y)), satisfying, and In other words, Ψ maps the graph of f to the graph of g, as well as the graph of the zero map to itself.
Théorème de WhiteheadEn théorie de l'homotopie (une branche des mathématiques et plus précisément de la topologie algébrique), le théorème de Whitehead établit que si une application continue f entre deux espaces topologiques connexes X et Y induit un isomorphisme sur tous leurs groupes d'homotopie, alors f est une équivalence d'homotopie dès que X et Y ont le type d'homotopie de CW-complexes. Ce résultat a été démontré par J. H. C. Whitehead dans deux articles de référence de 1949 et justifie l'introduction de la notion de CW-complexes faite dans ces articles.
Bien et mal (philosophie)Dans les domaines religieux, éthique, philosophique et psychologique, « le bien et le mal » est un couple de concepts courant. Dans les cultures d'inspiration manichéenne ou abrahamique, le mal est généralement considéré comme l’opposé du bien, dans lequel le bien devrait prévaloir et le mal aurait vocation à être vaincu. Dans les cultures d'inspiration bouddhiste, le bien et le mal sont perçus comme une dualité antagoniste qui doit elle-même être surmontée en réalisant Śūnyatā, c'est-à-dire la reconnaissance du bien et du mal en tant que principes opposés mais complémentaires.
Groupe d'homotopieEn mathématiques, et plus particulièrement en topologie algébrique, les groupes d'homotopie sont des invariants qui généralisent la notion de groupe fondamental aux dimensions supérieures. Il y a plusieurs définitions équivalentes possibles. Première définition Soit X un espace topologique et un point de X. Soit la boule unité de dimension i de l'espace euclidien . Son bord est la sphère unité de dimension . Le i-ième groupe d'homotopie supérieur est l'ensemble des classes d'homotopie relative à d'applications continues telle que : .
Étale morphismIn algebraic geometry, an étale morphism (etal) is a morphism of schemes that is formally étale and locally of finite presentation. This is an algebraic analogue of the notion of a local isomorphism in the complex analytic topology. They satisfy the hypotheses of the implicit function theorem, but because open sets in the Zariski topology are so large, they are not necessarily local isomorphisms. Despite this, étale maps retain many of the properties of local analytic isomorphisms, and are useful in defining the algebraic fundamental group and the étale topology.
Morphism of algebraic varietiesIn algebraic geometry, a morphism between algebraic varieties is a function between the varieties that is given locally by polynomials. It is also called a regular map. A morphism from an algebraic variety to the affine line is also called a regular function. A regular map whose inverse is also regular is called biregular, and the biregular maps are the isomorphisms of algebraic varieties.
Smooth morphismIn algebraic geometry, a morphism between schemes is said to be smooth if (i) it is locally of finite presentation (ii) it is flat, and (iii) for every geometric point the fiber is regular. (iii) means that each geometric fiber of f is a nonsingular variety (if it is separated). Thus, intuitively speaking, a smooth morphism gives a flat family of nonsingular varieties. If S is the spectrum of an algebraically closed field and f is of finite type, then one recovers the definition of a nonsingular variety.
Schéma (géométrie algébrique)En mathématiques, les schémas sont les objets de base de la géométrie algébrique, généralisant la notion de variété algébrique de plusieurs façons, telles que la prise en compte des multiplicités, l'unicité des points génériques et le fait d'autoriser des équations à coefficients dans un anneau commutatif quelconque.
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.
