Category Theory As A Rival
Category theory is a unifying theory of mathematics that was initially developed in the second half of the 20th century. In this respect it is an alternative and complement to set theory. A key theme from the "categorical" point of view is that mathematics requires not only certain kinds of objects (Lie groups, Banach spaces, etc.) but also mappings between them that preserve their structure.
In particular, this clarifies exactly what it means for mathematical objects to be considered to be the same. (For example, are all equilateral triangles the same, or does size matter?) Saunders Mac Lane proposed that any concept with enough 'ubiquity' (occurring in various branches of mathematics) deserved isolating and studying in its own right. Category theory is arguably better adapted to that end than any other current approach. The disadvantages of relying on so-called abstract nonsense are a certain blandness and abstraction in the sense of breaking away from the roots in concrete problems. Nevertheless, the methods of category theory have steadily advanced in acceptance, in numerous areas (from D-modules to categorical logic).
Read more about this topic: Unifying Theories In Mathematics
Famous quotes containing the words category, theory and/or rival:
“I see no reason for calling my work poetry except that there is no other category in which to put it.”
—Marianne Moore (1887–1972)
“By the “mud-sill” theory it is assumed that labor and education are incompatible; and any practical combination of them impossible. According to that theory, a blind horse upon a tread-mill, is a perfect illustration of what a laborer should be—all the better for being blind, that he could not tread out of place, or kick understandingly.... Free labor insists on universal education.”
—Abraham Lincoln (1809–1865)
“O suns and skies and clouds of June,
And flowers of June together,
Ye cannot rival for one hour
October’s bright blue weather.”
—Helen Hunt Jackson (1830–1885)