grupoidi
Merkitys
- 1.(Matematiikka)pieni kategoria, jossa jokainen morfismi on isomorfismi
Esimerkkilauseet
Grupoidi on vanhempi, mutta vielä käytössä oleva, synonyymi magmalle.
Esimerkkejä algebrallisista rakenteista Yksi joukko, yksi laskutoimitus magma eli grupoidi, jossa edellytetään vain, että jokin joukon sisäinen laskutoimitus on olemassa; puoliryhmä, jossa lisäksi edellytetään, että laskutoimitus on liitännäinen; monoidi, jossa laskutoimitus on liitännäinen ja siihen liittyy neutraalialkio (nolla -alkio); ryhmä, jossa lisäksi edellytetään, että jokaisella alkiolla on vasta -alkio;