Catégorie groupoïde

Résumé

En mathématiques, et plus particulièrement en théorie des catégories et en topologie algébrique, la notion de groupoïde généralise à la fois les notions de groupe, de relation d'équivalence sur un ensemble, et de l'action d'un groupe sur un ensemble. Elle a été initialement développée par Heinrich Brandt en 1927. Les groupoïdes sont souvent utilisés pour représenter certaines informations sur des objets topologiques ou géométriques comme les variétés. Définitions Définition au sens des catégories Un groupoïde est une petite catégorie dans laquelle tout morphisme est un isomorphisme. Définition algébrique Un groupoïde G est un ensemble muni de deux opérations : une loi de composition partiellement définie * et une application (partout définie) .^{-1}, qui satisfont les trois conditions suivantes sur les éléments f, g et h de G :

chaque fois que fg et gh sont définis simultanément, alors

Source officielle

https://fr.wikipedia.org/wiki/Cat%C3%A9gorie_groupo%C3%AFde

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (4)

Publications associées

Chargement

Personnes associées

Aucun résultat

Unités associées

Chargement

Concepts associés (6)

Concepts associés

Chargement

Cours associés (3)

This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous examples of model categories and their applications in algebra and topology.

Study basic concepts of modern algebra: groups, rings, fields.

ln this course we will develop algebraic and coalgebraic models for homotopy types. Among other things we will learn about Quillen's and Sullivan's model of rationâl homotopy types and about Mandell's theorem in p-adic homotopy theory.

Cours associés

Chargement

Séances de cours associées (6)

Séances de cours associées

Chargement

A functional approach to the numerical conformal bootstrap

Bernardo Zan

We apply recently constructed functional bases to the numerical conformal bootstrap for 1D CFTs. We argue and show that numerical results in this basis converge much faster than the traditional derivative basis. In particular, truncations of the crossing equation with even a handful of components can lead to extremely accurate results, in opposition to hundreds of components in the usual approach. We explain how this is a consequence of the functional basis correctly capturing the asymptotics of bound-saturating extremal solutions to crossing. We discuss how these methods can and should be implemented in higher dimensional applications.

SPRINGER2020

Chargement

Extracting partial decay rates of helium from complex rotation: autoionizing resonances of the one-dimensional configurations

Pierre Lugan

Partial autoionization rates of doubly excited one-dimensional helium in the collinear Zee and eZe configuration are obtained by means of the complex rotation method. The approach presented here relies on a projection of back-rotated resonance wave functions onto singly ionized He+ channel wave functions and the computation of the corresponding particle fluxes. In spite of the long-range nature of the Coulomb potential between the electrons and the nucleus, an asymptotic region where the fluxes are stationary is clearly observed. Low-lying doubly excited states are found to decay predomintantly into the nearest single-ionization continuum. This approach paves the way for a systematic analysis of the decay rates observed in higher-dimensional models, and of the role of electronic correlations and atomic structure in recent photoionization experiments.

Iop Publishing Ltd2015

Chargement

Velocity-Scheduling Control for a Unicycle Mobile Robot: Theory and Experiments

Dominique Bonvin, Davide Buccieri, Philippe Müllhaupt, Damien Perritaz

Improvement over classical dynamic feedback linearization for a unicycle mobile robots is proposed. Compared to classical extension, the technique uses a higher-dimensional state extension, which allows rejecting a constant disturbance on the robot rotational axis. The proposed dynamic extension acts as a velocity scheduler that specifies, at each time instant, the ideal translational velocity that the robot should have. By using a higher-order extension, both the magnitude and the orientation of the velocity vector can be generated, which introduces robustness in the control scheme. Stability for both asymptotic convergence to a point and trajectory tracking is proven. The theoretical results are illustrated first in simulation, and then experimentally on the autonomous mobile robot are given. The theory is illustrated through both simulation and experiments obtained on an autonomous mobile robot called Fouzy III.

2009

Chargement