First part of functor category.