Séance de cours

Functor Points fixes et Functor Orbital

Graph Chat

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.

Description

Cette séance de cours couvre la définition des functeurs sur les objets et les morphismes, en mettant l'accent sur la façon de les définir sur les morphismes. Il explore l'application des functeurs aux points fixes et aux orbites, en fournissant des exemples et des explications détaillées. La séance de cours se penche également sur le concept d'équivariance et sur la façon dont elle se rapporte à la définition des functeurs. Une attention particulière est accordée à la préservation de la composition et de l'identité par les functeurs, mettant en évidence leurs propriétés essentielles.

Source officielle

Concepts associés (28)

Foncteur

Dans la théorie des catégories, un foncteur est une construction transformant les objets et morphismes d'une catégorie en ceux d'une autre catégorie, d'une façon compatible. On parle alors d'une construction fonctorielle ou de fonctorialité. Une telle construction est donc un morphisme entre deux catégories. Historiquement, les foncteurs furent introduits en topologie algébrique, associant aux espaces topologiques et aux applications continues des objets algébriques tels que les groupes d'homotopie et les morphismes de groupes, permettant ainsi un véritable calcul d'invariants caractérisant ces espaces.

Orbite

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

Foncteur adjoint

L'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 ».

Forgetful functor

In mathematics, in the area of , a forgetful functor (also known as a stripping functor) 'forgets' or drops some or all of the input's structure or properties 'before' mapping to the output. For an algebraic structure of a given signature, this may be expressed by curtailing the signature: the new signature is an edited form of the old one. If the signature is left as an empty list, the functor is simply to take the underlying set of a structure.

Objet détaché

right|thumb|400px|Des objets Trans-neptuniens ayant des demi-grands axes supérieurs à 100 unités astronomiques : les objets épars (en anglais : SDO scattered-disk objects) (en gris) et les objets détachés (en blanc). Un objet détaché est un objet transneptunien du Système solaire dont le périhélie est suffisamment distant de l'influence gravitationnelle des planètes géantes, en particulier de Neptune, la plus externe, pour qu'il ait un comportement détaché (de leurs influences).

Afficher plus

Séances de cours associées (64)

Transformations naturelles : Functors et catégories

Explore les functeurs, les transformations naturelles et la théorie des groupes, soulignant l'importance des comparaisons et de la préservation de la structure.

Catégories et Functors

Couvre les catégories, les functeurs et les catégories de prémousse, explorant les relations entre les objets et les morphismes.

Functors: Définition

Introduit des functeurs dans la théorie de catégorie et explique leur composition.

Adjonctions et Functor Categories: Explorer les connexions

Couvre les adjonctions et les catégories de foncteur, en soulignant leur importance dans la théorie des catégories et les applications dans l'apprentissage profond.

Adjonctions: Quotients de trivial et d'application

Explore les adjonctions, mettant l'accent sur les cas quotients triviaux et d'application dans les functeurs, les orbites et les points fixes.

Afficher plus

Concepts associés (28)