 Terminal category

The category with one object and only its identity morphism. A functor from it selects an object of the target category.