Produkt (teoria kategorii)