Téyori kategori magepokan karo struktur matématika lan sesambungan antarané struktur mau kanthi abstrak. Wektu iki kategori dipigunakaké sajeroning matématika, informatika téyori, lan fisika matématis. Kategori ditepungaké ing wiwitan déning Samuel Eilenberg lan Saunders Mac Lane ing taun 1942-1945, sajeroning sesambungané karo topologi aljabar.