[Haskell-cafe] Terminology

[Alexander Solla]

On Jun 15, 2010, at 1:42 PM, wren ng thornton wrote:

> Generally these sorts of things are called homomorphisms. It's a  
> terribly general term, but that's the one I've always seen to  
> describe that pattern.

g is a "list homomorphism", if you want to get specific.   
Equivalently, it is the "list functor induced by f". (A functor is a  
morphism between categories.  Lists form a category, and g is a  
morphism from lists to lists, since it is a homomorphism).  I guess  
you can call the homomorphism characterization "the list homomorphism  
induced by f"