A functor from a discrete category is given by its [ObjectOf] part.
A functor from a discrete category is given by its [ObjectOf] part.

CategoricalData/catdb,CategoricalData/catdb,JasonGross/catdb,JasonGross/catdb