Teorija kategorija – razlika između verzija

'''Teorija kategorija''' je grana matematike koja se bavi organiziranjem matematičkih struktura u tzv. kategorije i ispitivanjem matematičkih entiteta sa stanovišta teorije kategorija. Osnovali su je [[Saunders MacLane]] i [[Samuel Eilenberg]] u epohalnom radu 1944. godine. Osnovna filozofija je da se matematički objekti ne mjere sami po sebi, po svojem unutarnjem izgledu, nego odnosom prema svim sličnim objektima, s kojima zajedno čine neku prirodnu kategoriju. Ti odnosi među objektima opisuju se preko usmjerenih strelica, koje su neka vrsta apstraktnih [[preslikavanje (matematika)|preslikavanja]] među objektima, koji se nazivaju '''morfizmi'''. Morfizmi se mogu asocijativno komponirati kad god to ima smisla, tj. kad [[kodomena]] prvog preslikavanja odgovara [[domena (matematika)|domeni]] drugog.