Examples of using Category theory in English and their translations into Indonesian
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
-
Ecclesiastic
Two of the most highly abstract areas of modern mathematics are category theory and model theory. .
the Haskell programming language, based on Category Theory.
Several terms used in category theory, including the term"morphism",
Category theory can be used to formalize concepts of other high-level abstractions such as sets,
Two mathematical fields that study the properties of algebraic structures viewed as a whole are universal algebra and category theory.
Category theory, which deals in an abstract way with mathematical structures
Category theory, which deals in an abstract way with mathematical structures and relationships between them, is still in development.
Category theory is used to formalize mathematics
The language of category theory has been used to formalize concepts of other high-level abstractions such as sets,
Similar ideas occur in category theory: the category of Euclidean spaces is a concrete category over the category of topological spaces;
Category theory[1] formalizes mathematical structure
Similar ideas occur in category theory: the category of Euclidean spaces is a concrete category over the category of topological spaces;category to the latter category. .">
Significant areas of mathematics can be formalised as categories, and the use of category theory allows many intricate
Everyone was to be in their own sealed off chamber for the theory category.
Theory category- area of study in mathematics that examines in an abstract way the properties of certain mathematical concepts,
In category theory, morphisms obey conditions specific to category theory itself.
Many areas of mathematics can be formalised by category theory as categories. .
In category theory, a"morphism" obeys a set of conditions specific to category theory itself.
Several terms used in category theory, including the term“morphism”,
Category theory is one area of mathematics dedicated to exploring this commonality of structure in some areas of math.