existence of limit and colimits in product categories