Grupoid: Razlika med redakcijama

'''Grupoid''' v [[abstraktna algebra|abstraktni]] [[algebra|algebri]] je v starejši slovenski matematični terminologiji osnovna vrsta [[algebrska struktura|algebrske strukture]] in je [[urejen par]] (''S'', ''f''), kjer je ''S'' neprazna [[množica]], ''f'' pa [[dvočlena operacija]] na njej. Ker se v angleščini ista beseda uporablja za dosti bolj pomembno matematično strukturo, se je prilagodila tudi slovenska terminologija. Tako je [[grupoid (teorija kategorij)|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 enakovredno kategoriji z enim objektom, v kateri elementi grupe ustrezajo morfizmom, množenje kompoziciji morfizmov in nevtralni element identiteti na objektu.