January 23rd, 2016

Совет по терминологии

В ряде моих статей есть два типа категорий, получающихся добавлением некоторых прямых слагаемых: в Karoubi-closure добавляем те слагаемые объектов категории, которые есть в данной объемлющей категории, а в Karoubization добавляем вообще все "формальные" прямые слагаемые. Последний термин я иногда заменяю на idempotent completion. Рецензент предлагает заменить все три термина одним - возможно, не вникнув в разницу между первыми двумя. Как думаете - просто оставить первые два термина, или заменить второй на что-нибудь типа absolute Karoubi-closure?