I.D52 — Tau-Functor

A tau-functor maps objects to objects. In thin Cat_tau, functors are determined by their object map alone (at most one morphism between any pair, so the morphism map is uniquely determined).