Teorya ng kategorya

Ang teoriya ng kategorya () ay isang sakop ng pag-aaral sa matematika na sumusuri sa abstraktong paraan ng mga katangian ng partikular na mga konseptong matematikal sa pamamagitan ng pagpopormula ng mga ito bilang kalipunan (o koleksiyon) ng mga obhekto at palaso () na tinatawag na morpismo, bagaman ang terminong ito ay mayroon ring spesipikong hindi kategoryang teoretikal na kahulugan, kung saan ang mga kalipunang ito ay sumasapat sa ilang mga tiyak na basikong kondsiyon. Maraming mga mahahalagang sakop sa matematika ay maaaring ipormula bilang mga kategorya at ang paggamit ng teoriya ng kategorya ay pumapayag ng maraming mga masalimuot at mahirap ng mga resultang matematikal sa mga larangang ito na maihayag at mapatunayan sa mas simpleng paraan kesa sa hindi paggamit ng mga kategorya.

Tingnan din 
 Elemento (teorya ng kategorya)

Mga sangay ng matematika