In category theory, a branch of mathematics, a limit or a colimit of presheaves on a category C is a limit or colimit in the functor category .