overcone functor functor category profunctor overcategory full functor endofunctor identity functor pseudofunctor cofunctor