In functional programming and category theory, a functor is a mapping between categories that preserves the structure of categories, such as objects and morphisms. It allows the application of functions over wrapped values, enabling the composition of operations while maintaining the context of the data structure.