> A functor is an abstraction that allows for mapping a function over values inside a context without altering the context of the functor.

I’m not sure this is intelligible to laypeople. ;)