Noun
category theory (uncountable)
(mathematics) A branch of mathematics which deals with spaces and maps between them in abstraction, taking similar theorems from various disparate more concrete branches of mathematics and unifying them.
Category theory There are several results in category theory which invoke the axiom of choice for their proof. Source: Internet
Category theory deals with abstract objects and morphisms between those objects. Source: Internet