overfunctor functor category comma category underlying functor full functor functor endofunctor profunctor overcone subfunctor