Изоляция науки от общества

http://flying-bear.livejournal.com/689286.html

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

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