. . . "if B is a category then $B^2$ is the functor category $[2,B]$." .