Kategori teorisi
Kategori teorisi ya da Ulam kuramı, matematiksel yapılar ve bunlar arasındaki ilişkilerle soyut olarak ilgilenen bir matematik kuramıdır. Kategori kuramı, öğelere (nesnelere) yoğunlaşan küme kuramının aksine, nesneler arası ilişkilere (morfizmlere) odaklanır. Bir kategori birbirileriyle ilişkili matematiksel nesneler sınıfının (örneğin grupların) özünü yakalamaya çalışır.