Grupoid: Razlika med redakcijama
Izbrisana vsebina Dodana vsebina
m robot Dodajanje: cs, et |
Pojasnil stari in novi pomen besede grupoid |
||
Vrstica 1:
V starejši slovenski terminologiji je '''grupoid''' v abstraktni [[algebra|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 [[morfizem|morfizmi]] [[izomorfizem|izomorfizmi]]. Poseben primer grupoida je [[grupa]], ki je grupoid z enim samim [[objekt|objektom]]. V [[algebra|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.
|