Cтраница 4
Пусть в категории С существует терминальный объект t и произведение а - а х b - b любых двух объектов. Тогда в С существуют любые конечные произведения. Объекты произведений определяют ( через соответствие ( a, b) - axb) бифунктор С х С - С. [46]
В категории функторов Set всегда существуют конечные произведения ( упр. Поэтому даже при отсутствии конечных произведений в категории С можно рассматривать объекты с G С, для которых С ( -, с) является группой в категории функторов. [47]