In the language of category theory it is a morphism in the category of modules over a given ring.

This generality implies that singular homology theory can be recast in the language of category theory.

The definition of a universal property uses the language of category theory to make this notion precise and to study it abstractly.

Using the language of category theory, many areas of mathematical study can be categorized.

The above construction can be described nicely using the language of category theory.

In the language of category theory, the disjoint union is the coproduct in the category of sets.

The process of adjoining an identity element to a rng can be formulated in the language of category theory.

In the language of category theory, the pullback bundle construction is an example of the more general categorical pullback.

In the language of category theory, the class of all supermodules over A forms a category with supermodule homomorphisms as the morphisms.

In the language of category theory, the final topology construction can be described as follows.