Publication

Twisting structures and morphisms up to strong homotopy

Concepts associés (42)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

Algèbre d'un groupe fini

En mathématiques, l'algèbre d'un groupe fini est un cas particulier d'algèbre d'un monoïde qui s'inscrit dans le cadre de la théorie des représentations d'un groupe fini. Une algèbre d'un groupe fini est la donnée d'un groupe fini, d'un espace vectoriel de dimension l'ordre du groupe et d'une base indexée par le groupe. La multiplication des éléments de la base est obtenue par la composition des index à l'aide de la loi du groupe, elle est prolongée sur toute la structure par linéarité.

Transformation naturelle

En théorie des catégories, une transformation naturelle permet de transformer un foncteur en un autre tout en respectant la structure interne (c'est-à-dire la composition des morphismes) des catégories considérées. On peut ainsi la voir comme un morphisme de foncteurs. Soient et deux catégories, F et G deux foncteurs covariants de dans .

Complete homogeneous symmetric polynomial

In mathematics, specifically in algebraic combinatorics and commutative algebra, the complete homogeneous symmetric polynomials are a specific kind of symmetric polynomials. Every symmetric polynomial can be expressed as a polynomial expression in complete homogeneous symmetric polynomials. The complete homogeneous symmetric polynomial of degree k in n variables X1, ..., Xn, written hk for k = 0, 1, 2, ..., is the sum of all monomials of total degree k in the variables.

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 .

Regular category

In , a regular category is a category with and coequalizers of a pair of morphisms called kernel pairs, satisfying certain exactness conditions. In that way, regular categories recapture many properties of abelian categories, like the existence of images, without requiring additivity. At the same time, regular categories provide a foundation for the study of a fragment of first-order logic, known as regular logic. A category C is called regular if it satisfies the following three properties: C is .

Morphisme plat

En géométrie algébrique, un morphisme de schémas peut être vu comme une famille de schémas paramétrée par les points de Y. La notion de platitude de f est une sorte de continuité de cette famille. Un morphisme est dit plat en un point x de X si l'homomorphisme d'anneaux induit par f est plat. On dit que f est un morphisme plat s'il est plat en tout point de X. On dit que f est fidèlement plat s'il est de plus surjectif. Si est un faisceau quasi-cohérent sur X.

Étale morphism

In 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.

Rétraction

En topologie générale et surtout en topologie algébrique, une rétraction est, intuitivement, un « rétrécissement » d'un espace topologique sur l'un de ses sous-espaces. Ce sous-espace est un rétract par déformation s'il existe une fonction permettant d'effectuer ce « rétrécissement » de façon continue. Soient X un espace topologique et A un sous-espace. Une rétraction de X sur A est une application continue r de X dans A dont la restriction à A est l'application identité de A, c'est-à-dire telle que pour tout point a de A, r(a) = a ; autrement dit, c'est une rétraction de l'application d'inclusion i de A dans X : r ∘ i = Id.

Injection canonique

In mathematics, if is a subset of then the inclusion map (also inclusion function, insertion, or canonical injection) is the function that sends each element of to treated as an element of A "hooked arrow" () is sometimes used in place of the function arrow above to denote an inclusion map; thus: (However, some authors use this hooked arrow for any embedding.) This and other analogous injective functions from substructures are sometimes called natural injections.

Kan fibration

In mathematics, Kan complexes and Kan fibrations are part of the theory of simplicial sets. Kan fibrations are the fibrations of the standard structure on simplicial sets and are therefore of fundamental importance. Kan complexes are the fibrant objects in this model category. The name is in honor of Daniel Kan. For each n ≥ 0, recall that the , , is the representable simplicial set Applying the geometric realization functor to this simplicial set gives a space homeomorphic to the topological standard -simplex: the convex subspace of Rn+1 consisting of all points such that the coordinates are non-negative and sum to 1.