# Representation theorem

In mathematics, a representation theorem is a theorem that states that every abstract structure with certain properties is isomorphic to another (abstract or concrete) structure.

## Examples

### Category theory

• The Yoneda lemma provides a full and faithful limit-preserving embedding of any category into a category of presheaves.
• Mitchell's embedding theorem for abelian categories realises every small abelian category as a full (and exactly embedded) subcategory of a category of modules over some ring.
• Mostowski's collapsing theorem states that every well-founded extensional structure is isomorphic to a transitive set with the ∈-relation.
• One of the fundamental theorems in sheaf theory states that every sheaf over a topological space can be thought of as a sheaf of sections of some (étalé) bundle over that space: the categories of sheaves on a topological space and that of étalé spaces over it are equivalent, where the equivalence is given by the functor that sends a bundle to its sheaf of (local) sections.