Еще о CA-бесконечностях

Получается так:
1. Производную категорию CA-алгебры можно определить как ко/контрапроизводную категорию соответствующей косвободной CDG-коалгебры и это будет обобщение понятия производной категории A-алгебры, не имеющее отношения к понятиям ко- и контрапроизводной категории CDG-алгебры.
2. Ко/контрапроизводную категорию CA-коалгебры можно определить как ко/контрапроизводную категорию соответствующей свободной CDG-алгебры и это будет обобщение понятия ко/контрапроизводной категории CDG-коалгебры, не имеющее отношения к понятиям производных категорий A-комодулей и A-контрамодулей над A-коалгеброй.