Аннотация
A new proof of the fact that locally presentable categories precisely correspond to essentially algebraic theories is presented. An analogous result for locally generated categories is obtained. And in the same vein Diers’ locally multipresentable categories are characterized via essentially multialgebraic theories, and they are generalized to locally multigenerated categories.
Пользователи данного ресурса
Пожалуйста,
войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)