Teorya ng kategorya

isang kategorya na may objects X, Y, Z at morphisms f, g, g ∘ f, at tatlong identity morphisms (hindi pinakita) 1_X, 1_Y at 1_Z.

Ang teoriya ng kategorya (Ingles: category theory) 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 (Ingles: arrows) 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)

Ang lathalaing ito na tungkol sa Matematika ay isang usbong. Makatutulong ka sa Wikipedia sa pagpapalawig nito.