| |||
|
|
А хотя бы определение и базовые свойства где рассказываются? В знакомых мне учебниках алгебры я этого не видел. ИМХО, это нужно хотя бы для того, чтобы доказать что категория алгебр над кольцом полна (нам нужна конструкция копроизведения произвольного семейства алгебр, которое можно определить через образующие и соотношения, а именно как их дизъюнктное объединение). Да и вообще довольно фундаментальная штука, даже если и бесполезная. Добавить комментарий:Sorry, this entry already has the maximum number of comments allowed. |
|||