Cтраница 3
Эта совокупность аксиом для 2-категорий равносильна предыдущей. Cat); можно сказать, что это обогащенные horn - множества. Их конструкция использует тот факт, что Cat имеет произведения и терминальный объект. Часто бывает полезно обобщить и эту ситуацию: использовать вместо Cat моноидальную категорию V и рассматривать категории, обогащенные в У, - с объектами из V в качестве horn - объектов и с умножением и единицами, определенными как выше. [31]