functor

views updated

functor A function that maps one category into another. In computing terms a special functor represents mappings between mathematical concepts, such as sets and functions, and their implementation in a programming language; this is often called the representation functor. The idea generalizes to include mappings between different abstract machines.