A functor is a mapping between categories, just like a function is a mapping between sets. What kind of insights this means for programming is quite up to inte

A functor is a mapping between categories, just like a function is a mapping between sets. What kind of insights this means for programming is quite up to interpretation and how you choose to formally describe its semantics (and most popular programming languages don't have formal semantics).