Groepoïde (categorietheorie)

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

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.