Произведения в категориях частных и универсальное обращение гомоморфизмов

Основной результат: если в категории $\mathfrak K$ существуют конечные прямые произведения, класс морфизмов $\Sigma$ таков, что категория частных $\mathfrak K[\Sigma ^{-1}]$ существует, причем из того, что $\sigma \in \Sigma$ следует $\sigma \times 1_X\in \Sigma$ и $1_X\times \sigma \in \Sigma$ для любых объектов $X$, то в категории $\mathfrak K[\Sigma ^{-1}]$ также существуют конечные прямые произведения, и канонический функтор $\mathfrak K\to \mathfrak K[\Sigma ^{-1}]$ сохраняет эти произведения. С помощью этой теоремы построены аналоги теории матричной локализации колец для произвольных многообразий универсальных алгебр и для предаддитивных категорий.
Библиография: 22 названия.