13 Jul
2003
13 Jul
'03
8:05 p.m.
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.