Let be a locally small category. For each object in , there is a functor
defined by:
- On objects: each object is sent to the set .
- On morphisms: a morphism is sent to the function
given by pre-composition: .
Problems using this concept (0)
No listed problems link to this concept yet.
Problems using this concept (spoiler) (0)
No listed problems use this concept as a spoiler yet.
