Kategorija je matematična struktura ki je podana razredom objektov in razredom morfizmov ki zadoščata
Kadar ima morfizem formula1 domeno formula2 in kodomeno formula3, lahko zapišemo formula4.
morfizmov in je par objekta in morfizma ub za katerega velja uf ug in da se vsak morfizem ki zadošča
Homomorfizem ali včasih kar morfizem je preslikava ki preslika množico množico tem obstaja povezava
Morfizem ki je bijekcija tako na množici vozlišč kakor na množici povezav in je njegov inverz tudi morfizem
Morfizem nove kategorije je prav tako par sestavljen iz po enega morfizma kategorije formula1 in enega
Endomorfizem je v matematiki morfizem ali homomorfizem matematičnega objekta samega v sebe.
Sestava kompozicija morfizma kategoriji ima enake lastnosti kot monoid tem da vseh parov morfizmov ne
Homomorfizem ali včasih kar morfizem je preslikava f, ki preslika množico A v množico B.
Grafi morfizmi določajo kategorijo
,zuje vsak morfizem formula6 z morfizmom formula7 tako, da veljata naslednji trditvi
tej nalogi pa smo konstruirali coequalizer kategoriji ki ima za objekte naravna števila in za morfizme
Kadar je formula15 konkretna kategorija je morfizem identitete identična funkcija in kompozitum je običajni
Frobeniusov izrek trdi, da so glede na morfizem štiri takšne algebre: realna števila razsežnost 1 ,
Prvi razred so objekti, drugi pa morfizmi.