A presheaf is a mathematical structure used in category theory that assigns data to open sets of a topological space in a way that respects the inclusion of open sets. It generalizes the notion of functions or sections defined on open sets and is foundational in the study of sheaves, which impose additional conditions of locality and gluing.