Teori kategori

Teori kategori berhubungan dengan struktur matematika dan hubungan antar struktur tersebut secara abstrak. Saat ini kategori digunakan dalam matematika, informatika teori, dan fisika matematis. Kategori diperkenalkan pertama kali oleh Samuel Eilenberg dan Saunders Mac Lane pada tahun 1942-1945, dalam hubungannya dengan topologi aljabar.