Grupoid
Iz Wikipedije, proste enciklopedije
V starejši slovenski terminologiji je grupoid v abstraktni algebri urejen par (S, f), kjer je S neprazna množica, f pa dvočlena operacija na njej. Ker pa se v angleščini ista beseda uporablja za dosti bolj pomembno matematično strukturo, se je prilagodila tudi slovenska terminologija. Tako je grupoid kategorija, v kateri so vsi morfizmi izomorfizmi. Poseben primer grupoida je grupa, ki je grupoid z enim samim objektom. V algebri grupo predstavimo tudi kot množico, ki je opremljena z dvočleno operacijo (množenje), nevtralnim elementom in operacijo inverz. To je ekvivalentno kategoriji z enim objektom, v kateri elementi grupe ustrezajo morfizmom, množenje kompoziciji morfizmov in nevtralni element identiteti na objektu.
[uredi] Zunanje povezave
Ta matematični članek je škrbina. Slovenski Wikipediji lahko pomagate tako, da ga dopolnite z vsebino.
