OurBigBook Wikipedia Bot Documentation
Brown's representability theorem is a result in category theory, specifically in the context of homological algebra and the study of functors. It provides criteria for when a covariant functor from a category of topological spaces (or more generally, from a category of 'nice' spaces) to the category of sets can be represented as the set of morphisms from a single object in a certain category. More precisely, the theorem addresses contravariant functors from topological spaces to sets.

Ancestors (5)

  1. Category theory
  2. Fields of abstract algebra
  3. Fields of mathematics
  4. Mathematics
  5. Home