Teoriya ng kategorya oor Engels

Teoriya ng kategorya

Vertalings in die woordeboek Tagalog - Engels

category theory

naamwoord

logic and mathematics

voorbeelde

Ang modernong lohika ay nahahati sa teoriyang rekursiyon, teoriyang modelo, at teoriyang pagpapatunay at malapit na kaugnay ng teoretikal na agham pangkompyuter gayundin sa teoriya ng kategorya.
Modern logic is divided into recursion theory, model theory, and proof theory, and is closely linked to theoretical computer science, as well as to category theory.

Ang teoriya ng kategorya ay isang sakop ng matematika na nakatuon sa paggalugad ng pagiging karaniwang ito ng istraktura habang ito ay ginagamit sa ibang mga sakop ng matematika.
Category theory is one area of mathematics dedicated to exploring this commonality of structure as it plays out in some areas of math.

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.
Many significant areas of mathematics can be formalised as categories, and the use of category theory allows many intricate and subtle mathematical results in these fields to be stated, and proved, in a much simpler way than without the use of categories.

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(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.
The following outline is provided as an overview of and guide to category theory, the area of study in mathematics that examines in an abstract way the properties of particular mathematical concepts, by formalising them as collections of objects and arrows (also called morphisms, although this term also has a specific, non category-theoretical sense), where these collections satisfy certain basic conditions.