paragraph_text: Saunders MacLane i Samuel Eilenberg su uveli koncepte kategorija, funktora i prirodnih transformacija u 1942-45 u njihovom proučavanju algebarske topologije, s ciljem aksiomatizacije pojma prirodnosti i još nekih svojstava koja su se ponavljala u više konteksta.