The extension of a container is an endofunctor, which takes a function f to the familiar map f in the case of lists, and does something similar for other containers.
The extension of a container is an endofunctor. An endofunctor takes a function f to the familiar map f in the case of lists. An endofunctor does something similar for other containers.