,

On essentially algebraic theorries and their generalizations

, , и .
algebra universalis, 41 (3): 213-227 (1999)
DOI: 10.1007/s000120050111

Аннотация

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.

тэги

Пользователи данного ресурса

  • @t.uemura

Комментарии и рецензии