Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Functor Points fixes et Functor Orbital

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 (27)

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 (35)

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

Transformations naturelles: Catégories, Functors et équivalence

Couvre les transformations naturelles entre les foncteurs, les transformations identitaires et l'équivalence des catégories.

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.

Afficher plus

Concepts associés (27)