A mapping from structures of one vocabulary to structures of another vocabulary.
Design pattern in pure functional programming.