Implemetend products of a category