U uvodnom dijelu rada dan je povijesni pregled razvijanja teorije kategorija. Nakon navodenja aksioma teorije kategorija slijede primjeri kategorija. Uveden je pojam funktora, važan primjer je funktor morfizma (hom funktor) izmedu proizvoljne lokalno male kategorije C i poznate kategorije skupova - Set. Ovaj funktor definiramo za proizvoljni objekt A iz ObC pa pišemo mA. Kada imamo dva paralelna funktora moˇzemo razmišljati o vezi izmedu njih, tako dolazimo do pojma prirodnih transformacija. Prirodne transformacije ponašaju se kao morfizmi medu funktorima pa je sljedeći korak opisivanje funktorske kategorije u kojoj su objekti funktori, a morfizmi prirodne transformacije. Kompoziciju u funktorskoj kategoriji nazivamo vertikalnom kompozicijom. Kada imamo dva para paralelnih funktora koji se mogu komponirati i prirodne transformacije medu paralelnim funktorima, razmiˇsljamo o prirodnoj tranformaciji medu kompozicijama funktora. Ovakvo komponiranje prirodnih transformacija nazivamo horizontalnim komponiranjem. Za paralelne funktore, mA i T zna se koliko ima prirodnih transformacija. Svaki element iz T (A) inducira točno jednu prirodnu transformaciju.