Обобщательное
Jan. 20th, 2009 11:40 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posic1. Если в утверждении не рассматриваются производные категории первого рода для алгебры/коалгебры, а только производные категории второго рода, то алгебра/коалгебра должна быть с кривизной.
2. Если в утверждении не используется конильпотентность коалгебры, то не должна использоваться и коаугментация.
2. Если в утверждении не используется конильпотентность коалгебры, то не должна использоваться и коаугментация.
