Let C and D be any two categories (probably small). Consider the category that have all functors from C to D as objects and natural transformations as morphisms. Does this category have initial (or terminal) objects and binary products? Best regards, Flávio Leonardo.