In programming, particularly in functional programming and type theory, a **functor** is a type that implements a mapping between categories. In simpler terms, it can be understood as a type that can be transformed or mapped over. ### Key Aspects of Functors 1. **Mapping**: Functors allow you to apply a function to values wrapped in a context (like lists, option types, etc.).
New to topics? Read the docs here!