Заметил, что все старания моей жизни сводятся во многом к тому, что там, где в классических источниках в формулировках базовых теорем о производных категориях писали "для любого символа * из набора b, +, − или ∅", примерно в тех же случаях, теперь по науке можно писать "для любого символа * из набора b, +, −, ∅, +abs, −abs, co, ctr или abs" или что-то в этом роде.
Комментарии (0)