Editing Category theory (section)

=== Universal constructions, limits, and colimits ===
{{Main|Universal property|Limit (category theory)}}

Using the language of category theory, many areas of mathematical study can be categorized. Categories include sets, groups and topologies.

Each category is distinguished by properties that all its objects have in common, such as the [[empty set]] or the [[product topology|product of two topologies]], yet in the definition of a category, objects are considered atomic, i.e., we ''do not know'' whether an object ''A'' is a set, a topology, or any other abstract concept. Hence, the challenge is to define special objects without referring to the internal structure of those objects. To define the empty set without referring to elements, or the product topology without referring to open sets, one can characterize these objects in terms of their relations to other objects, as given by the morphisms of the respective categories. Thus, the task is to find ''[[universal property|universal properties]]'' that uniquely determine the objects of interest.

Numerous important constructions can be described in a purely categorical way if the ''category limit'' can be developed and dualized to yield the notion of a ''colimit''.