January 20th, 2009

Обобщательное

1. Если в утверждении не рассматриваются производные категории первого рода для алгебры/коалгебры, а только производные категории второго рода, то алгебра/коалгебра должна быть с кривизной.
2. Если в утверждении не используется конильпотентность коалгебры, то не должна использоваться и коаугментация.