В компьютерном программировании понятие произведения используется для построения типа-произведения — конструкции, которая представляет собой тип данных, построенный как декартово произведение исходных типов. 2 Другими словами, это кортеж типов, или «кортеж как тип». 2 Например, если типы A и B представляют собой множества значений a и b соответственно, то составленное из них декартово произведение записывается как A×B, и полученный тип-произведение представляет собой всё множество возможных пар (a,b). 2

В теории категорий понятие произведения используется для обобщения таких понятий, как декартово произведение множеств, прямое произведение групп и произведение топологических пространств. 5 Произведение двух или более объектов в теории категорий — это в некотором смысле самый общий объект, имеющий морфизмы во все объекты семейства. 5