Product (categorietheorie)

In de categorietheorie, een abstract deelgebied van de wiskunde, is het product van twee (of meer) objecten in een categorie een notie die bedoeld is om de essentie achter constructies in andere gebieden van de wiskunde vast te leggen. Denk daarbij bijvoorbeeld aan het cartesisch product van verzamelingen, het directe product van groepen, het direct product van ringen en het product van topologische ruimten. In wezen is het product van een familie van objecten binnen de categorietheorie het "meest algemene" object dat een morfisme voor elk van de gegeven objecten toelaat.

Zie ook

• Coproduct – de duale van het product
• Limieten en colimieten
• Inverse limiet
• Cartesiaanse gesloten categorie