Catégorie groupoïde
De Wikipedia, l'encyclopédie encyclopedia
Ne pas confondre avec la structure de magma en algèbre, parfois aussi dénommée « groupoïde ».
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[1].
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.