Groepoïde (categorietheorie)

Uit Wikipedia, de vrije encyclopedie
Naar navigatie springen Naar zoeken springen

In de categorietheorie en de homotopie, beide deelgebieden van de abstracte algebra, veralgemeent een groepoïde de notie van een groep en van een categorie op verschillende gelijkwaardige manieren. Een groepoïde kan worden gezien als een:

Speciale gevallen zijn onder andere:

Groepoïdes worden vaak gebruikt om te redeneren over meetkundige objecten zoals variëteiten. Het begrip groepoïde werd in 1926 door Heinrich Brandt geïntroduceerd.