Productu (teoría de categoríes)