Linked from

The 26 pages that link to Category theory, each with the reason it gives.

• SetNarrower topic: It offers a structural viewpoint in which sets and functions form a basic example.

• Abstract algebraNarrower topic: Its language generalizes the maps and constructions used throughout abstract algebra.

• Universal propertyNarrower topic: Universal properties are commonly expressed as patterns of objects and morphisms in categories.

• Homological algebraNarrower topic: Categorical language lets homological methods apply across modules, groups, and other settings.

• IsomorphismNarrower topic: Its abstract language defines isomorphisms uniformly across different kinds of mathematical objects.

• Natural transformationNarrower topic: Natural transformations emerged as a basic part of category theory’s formal language.

• MorphismNarrower topic: Morphism is one of the two basic kinds of data in this framework.

• Yoneda lemmaNarrower topic: The lemma is a general theorem about objects and morphisms in categories.

• Saunders Mac LaneNarrower topic: Mac Lane helped establish this framework and its basic language.

• Snake lemmaNarrower topic: Categorical formulations explain why the lemma applies beyond modules and groups.

• Five lemmaNarrower topic: Categorical language expresses the five lemma for structures beyond groups and modules.

• Adjoint functorsNarrower topic: Adjunctions are defined using categories, functors, and morphisms.

• Nine lemmaNarrower topic: The lemma's formulation in abelian categories reflects its categorical generality.

• Axiom (computer algebra)Narrower topic: Axiom’s categories borrow the idea of specifying shared operations abstractly.