14 Jul
2003
14 Jul
'03
6:05 a.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.