V univerzální algebře jde o velmi jednoduchý typ algebraické struktury: je dána množina a na ní operace, která každé dvojici prvků přiřadí výsledek opět z téže množiny. Obvykle se po ní nechce, aby splňovala další podmínky, například asociativitu nebo existenci neutrálního prvku.
V teorii kategorií se tím rozumí kategorie, v níž je každý morfismus invertibilní, tedy ke každé šipce existuje opačná, která ji zruší. Taková struktura se dá chápat jako zobecnění grupy na více objektů.