Да, извините---забыл (как всегда;( ) добавить, что единственность функтора не с точностью до еквивалентности, а в немного более слабом смышле; а именно, они должны стать еквивалентными после автоморфизма исходной категории...

Но ето все можно потом будет обсудить, через две недели, когда у Вас будет время; как Вам удобнее.

(Reply to this) (Parent)