Localizations of algebraic categories (Q1917396)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Localizations of algebraic categories |
scientific article |
Statements
Localizations of algebraic categories (English)
0 references
22 January 1997
0 references
The main result of the paper characterizes the localizations of concrete algebraic categories (= categories of Eilenberg-Moore algebras for a monad over \({\mathcal S}et\)) as the exact categories which have a regular generator admitting all copowers. It was known previously that the additional requirement of the regular generator being regular projective characterizes the concrete algebraic categories themselves, and that there also exists an easy characterization of the regular-epireflective subcategories and of all subcategories of concrete algebraic categories in this context. In proving his main result, the author makes essential use of the exact completion theory as presented in his work with \textit{A. Carboni} [``Regular and exact completions'', ibid. (to appear)].
0 references
Eilenberg-Moore category
0 references
exact category
0 references
Kleisli category
0 references
localizations
0 references
algebraic categories
0 references
Eilenberg-Moore algebras
0 references
regular generator
0 references
regular-epireflective subcategories
0 references
exact completions
0 references