Li-Fan Chen says to YSITD
A functor that maps a category to itself