Categories are structures containing objects and arrows between them. Most mathematical structures can serve as objects of a category, with structure morphisms as arrows. Many constructions are special cases of categorical limits and colimits (e.g. products in various categories). The notions of functor and natural transformations are very important in category theory, too.

Various structures are studied in category theory using properties of objects and morphisms between them.

Many constructions are special cases of categorical limits and colimits (e.g. products in various categories). The ideas of functor and natural transformations are also important in category theory.

history | excerpt history