Set-Valued Functor

In Category Theory, a set-valued functor is a functor whose codomain is the category of sets.

A contravariant functor which is set-valued is called a pre-sheaf.